A filtering algorithm for constraints of difference in CSPs
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Random Structures & Algorithms
A polynomial-time approximation algorithm for the permanent of a matrix with non-negative entries
STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing
Clifford algebras and approximating the permanent
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Active-constraint variable ordering for faster feasibility of mixed integer linear programs
Mathematical Programming: Series A and B
Disco - Novo - GoGo: integrating local search and complete search with restarts
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
Model counting: a new strategy for obtaining good bounds
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Approximate counting by sampling the backtrack-free search space
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Using expectation maximization to find likely assignments for solving CSP's
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Solution-guided multi-point constructive search for job shop scheduling
Journal of Artificial Intelligence Research
Counting solutions of CSPs: a structural approach
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Solution counting algorithms for constraint-centered search heuristics
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Counting solutions of knapsack constraints
CPAIOR'08 Proceedings of the 5th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
An almost linear time approximation algorithm for the permanent of a random (0-1) matrix
FSTTCS'04 Proceedings of the 24th international conference on Foundations of Software Technology and Theoretical Computer Science
Efficient generic search heuristics within the EMBP framework
CP'09 Proceedings of the 15th international conference on Principles and practice of constraint programming
On counting lattice points and Chvátal-Gomory cutting planes
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
Recovering indirect solution densities for counting-based branching heuristics
CPAIOR'11 Proceedings of the 8th international conference on Integration of AI and OR techniques in constraint programming for combinatorial optimization problems
A constraint seeker: finding and ranking global constraints from examples
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Incorporating variance in impact-based search
CP'11 Proceedings of the 17th international conference on Principles and practice of constraint programming
Upper bounds on the number of solutions of binary integer programs
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
More robust counting-based search heuristics with alldifferent constraints
CPAIOR'10 Proceedings of the 7th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
An automaton Constraint for Local Search
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Deriving Information from Sampling and Diving
Fundamenta Informaticae - RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Counting-based search: branching heuristics for constraint satisfaction problems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
Constraints have played a central role in cp because they capture key substructures of a problem and efficiently exploit them to boost inference. This paper intends to do the same thing for search, proposing constraint-centered heuristics which guide the exploration of the search space toward areas that are likely to contain a high number of solutions. We first propose new search heuristics based on solution counting information at the level of individual constraints. We then describe efficient algorithms to evaluate the number of solutions of two important families of constraints: occurrence counting constraints, such as alldifferent, and sequencing constraints, such as regular. In both cases we take advantage of existing filtering algorithms to speed up the evaluation. Experimental results on benchmark problems show the effectiveness of our approach.