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. |