203 citations · 391 across the 22 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010
Covered Clause Elimination
Marijn Heule, Matti Järvisalo, Armin Biere
Generalizing the novel clause elimination procedures developed in [M. Heule, M. Järvisalo, and A. Biere. Clause elimination procedures for CNF formulas. In Proc. LPAR-17, volume 63…
cs.AI2010★ 7 cited
Symmetry within Solutions
Marijn Heule, Toby Walsh
We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping be…