Author:Bart Bogaerts
Keyphrasesalgebra, constraint satisfaction, Explanation Sequence, Implicit hitting set duality, model expansion, modular systems, propagators, solvers, Unsatisfiable Subset Optimization. |
| ||||
Copyright © 2012-2024 easychair.org. All rights reserved. |