Author/Creator: Kaski, Petteri - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Kaski, Petteri

1. An adaptive prefix-assignment technique for symmetry reduction. (July 2020)

Authors:: Junttila, Tommi; Karppa, Matti; Kaski, Petteri; Kohonen, Jukka
Journal:: Journal of symbolic computation
Issue:: Volume 99(2020)
Page Start:: 21
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗