An adaptive prefix-assignment technique for symmetry reduction

Tommi Junttila, Matti Karppa, Petteri Kaski, Jukka Kohonen

Tutkimustuotos: Lehtiartikkeli › Article › Scientific › vertaisarvioitu

4 Sitaatiot (Scopus)
179 Lataukset (Pure)

Hakutulokset