| Author:Bart Bogaerts
 Keyphrasesalgebra, 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. |