An adaptive prefix-assignment technique for symmetry reduction

Publiceringsår

2019

Upphovspersoner

Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka

Organisationer och upphovspersoner

Aalto-universitetet

Kohonen Jukka

Karppa Matti

Kaski Petteri

Junttila Tommi

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Tidning

Artikelstyp

En originalartikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

UKM:s publikationstyp

A1 Originalartikel i en vetenskaplig tidskrift

Publikationskanalens uppgifter

Journal

Journal of Symbolic Computation

Förläggare

Elsevier

Volym

Sidor

21-49

ISSN

0747-7171

Publikationsforum

61761

Publikationsforumsnivå

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Öppen tillgång till publikationskanalen

Delvis öppen publikationskanal

Parallellsparad

Publiceringsavgift för öppen tillgång €

691

Betalningsår för den öppen tillgång publiceringsavgiften

2019

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Nej

Sampublikation med ett företag

Nej

DOI

10.1016/j.jsc.2019.03.002