Anytime algorithms for constraint satisfaction and SAT problems
ACM SIGART Bulletin
Reversible DAC and other improvements for solving Max-CSP
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Branch and bound algorithm selection by performance prediction
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Partition-Based Lower Bound for Max-CSP
Constraints
Anytime Lower Bounds for Constraint Violation Minimization Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
Generalized Arc Consistency with Application to MaxCSP
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Arc Consistency for Soft Constraints
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Specializing Russian Doll Search
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Lower Bounds for Non-binary Constraint Optimization Problems
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Opportunistic Specialization in Russian Doll Search
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Randomized approximations of the constraint satisfaction problem
Nordic Journal of Computing
Arc consistency for soft constraints
Artificial Intelligence
Computing lower bound for MAX-CSP problems
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Detecting disjoint inconsistent subformulas for computing lower bounds for Max-SAT
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
New inference rules for Max-SAT
Journal of Artificial Intelligence Research
Exploiting a common property resource under a fairness constraint: a case study
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On inconsistent clause-subsets for Max-SAT solving
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Russian doll search for solving constraint optimization problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Enhancements of branch and bound methods for the maximal constraint satisfaction problem
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Clique inference process for solving Max-CSP
CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming
Computational protein design as a cost function network optimization problem
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Hi-index | 0.00 |