Reasoning from last conflict(s) in constraint programming
Artificial Intelligence
Failed value consistencies for constraint satisfaction
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
AllDifferent-based filtering for subgraph isomorphism
Artificial Intelligence
Domain consistency with forbidden values
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
Developing approaches for solving a telecommunications feature subscription problem
Journal of Artificial Intelligence Research
Bit-vector algorithms for binary constraint satisfaction and subgraph isomorphism
Journal of Experimental Algorithmics (JEA)
Journal of Artificial Intelligence Research
A framework for decision-based consistencies
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Value ordering for finding all solutions: interactions with adaptive variable ordering
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Domain-splitting generalized nogoods from restarts
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Large hinge width on sparse random hypergraphs
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume One
On minimal constraint networks
Artificial Intelligence
An optimal filtering algorithm for table constraints
CP'12 Proceedings of the 18th international conference on Principles and Practice of Constraint Programming
Variable-Centered Consistency in Model RB
Minds and Machines
Domain consistency with forbidden values
Constraints
Hi-index | 0.00 |
A major challenge in constraint programming is to develop efficient generic approaches to solve instances of the constraint satisfaction problem (CSP). With this aim in mind, this book provides an accessible synthesis of the author's research and work in this area, divided into four main topics: representation, inference, search, and learning. The results obtained and reproduced in this book have a wide applicability, regardless of the nature of the problem or the constraints involved, making it an extremely user-friendly resource for those involved in this field.