HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Bart Bogaerts

Publications
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization (Extended Abstract)
Emilio Gamba, Bart Bogaerts and Tias Guns
EasyChair Preprint 8773
Propagators and Solvers for the Algebra of Modular Systems
Bart Bogaerts, Eugenia Ternovska and David Mitchell
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

algebra, constraint satisfaction, Explanation Sequence, Implicit hitting set duality, model expansion, modular systems, propagators, solvers, Unsatisfiable Subset Optimization.

Copyright © 2012-2025 easychair.org. All rights reserved.