The Oracular Constraints Method
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Max-CSP Approach for Software Diagnosis
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
New Search Heuristics for Max-CSP
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
An Original Constraint Based Approach for Solving over Constrained Problems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
New Lower Bounds of Constraint Violations for Over-Constrained Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Exact Max-SAT solvers for over-constrained problems
Journal of Heuristics
AND/OR Branch-and-Bound search for combinatorial optimization in graphical models
Artificial Intelligence
A comparison of consistency propagation algorithms in constraint optimization
AI'03 Proceedings of the 16th Canadian society for computational studies of intelligence conference on Advances in artificial intelligence
Clique inference process for solving Max-CSP
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
| Hi-index | 0.01 |