Marc Denecker
Catholic University of Leuven
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Marc Denecker.
Springer-Verlag | 2016
Jo Devriendt; Bart Bogaerts; Maurice Bruynooghe; Marc Denecker
An effective SAT preprocessing technique is the construction of symmetry breaking formulas: auxiliary clauses that guide a SAT solver away from needless exploration of symmetric subproblems. However, during the past decade, state-of-the-art SAT solvers rarely incorporated symmetry breaking. This suggests that the reduction of the search space does not outweigh the overhead incurred by detecting symmetry and constructing symmetry breaking formulas. We investigate three methods to construct more effective symmetry breaking formulas. The first method simply improves the encoding of symmetry breaking formulas. The second detects special symmetry subgroups, for which complete symmetry breaking formulas exist. The third infers binary symmetry breaking clauses for a symmetry group as a whole rather than longer clauses for individual symmetries. We implement these methods in a symmetry breaking preprocessor, and verify their effectiveness on both hand-picked problems as well as the 2014 SAT competition benchmark set. Our experiments indicate that our symmetry breaking preprocessor improves the current state-of-the-art in static symmetry breaking for SAT and has a sufficiently low overhead to improve the performance of modern SAT solvers on hard combinatorial instances.
Archive | 2010
Johan Wittocx; Marc Denecker; Maurice Bruynooghe
international conference on lightning protection | 2002
Ofer Arieli; Marc Denecker; Bert Van Nuffelen; Maurice Bruynooghe
Proceedings of the 8th International Workshop on Nonmonotonic Reasoning NMR'2000 | 2000
Bert Van Nuffelen; Marc Denecker
1997 ERCIM/Compulog workshop on Constraints | 1997
Marc Denecker; Henk Vandecasteele; Danny De Schreye; Gino Seghers; Tom Baeyens
Proceedings International Workshop on Logic and Search (Lash 2014) | 2014
Bart Bogaerts; Joachim Jansen; Broes De Cat; Gerda Janssens; Maurice Bruynooghe; Marc Denecker
Proceedings of the 1999 ERCIM/COMPULOG Workshop on Constraints | 1999
Maurice Bruynooghe; Nikolay Pelov; Marc Denecker
Archive | 1997
Kristof Van Belleghem; Marc Denecker; Danny De Schreye
Archive | 2014
Broes De Cat; Bart Bogaerts; Marc Denecker
Archive | 2001
Ofer Arieli; Marc Denecker