On Stratified Belief Base Compilation
Annals of Mathematics and Artificial Intelligence
Efficient reasoning for nogoods in constraint solvers with BDDs
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Integrating CSP decomposition techniques and BDDs for compiling configuration problems
CPAIOR'05 Proceedings of the Second international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Hi-index | 0.89 |