Constraint satisfaction and database theory: a tutorial
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Backjump-based backtracking for constraint satisfaction problems
Artificial Intelligence
Maintenance scheduling problems as benchmarks for constraint algorithms
Annals of Mathematics and Artificial Intelligence
Resolution versus Search: Two Strategies for SAT
Journal of Automated Reasoning
Optimizing with Constraints: A Case Study in Scheduling Maintenance of Electric Power Units
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Modular lazy search for Constraint Satisfaction Problems
Journal of Functional Programming
AND/OR search spaces for graphical models
Artificial Intelligence
Modified branch and bound algorithm
EC'07 Proceedings of the 8th Conference on 8th WSEAS International Conference on Evolutionary Computing - Volume 8
Constraint satisfaction problem using modified branch and bound algorithm
WSEAS Transactions on Computers
A Logical Approach to Constraint Satisfaction
Complexity of Constraints
| Hi-index | 0.00 |