1 citations · 2 across the 5 of their papers we have counts for
1 paper · 1 filter
Tommi Junttila, Matti Karppa, Petteri Kaski +1
This paper presents a technique for symmetry reduction that adaptively assigns a prefix of variables in a system of constraints so that the generated prefix-assignments are pairwis…