Systematic versus stochastic constraint satisfaction

Authors:
Eugene C. Freuder;Rina Dechter;Matthew L. Ginsberg;Bart Selman;Edward Tsang
Affiliations:
Department of Computer Science, University of New Hampshire, Durham, NH;Deptartment of Information and Computer Science, University of California, Irvine, Irvine, CA;CIRL, University of Oregon, Eugene, Oregon;AT&T Bell Laboratories, Murray Hill, NJ;Department of Computer Science, University of Essex, Essex, United Kingdom
Venue:
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Year:
1995

Citing 17
Cited 16

Heuristics: intelligent search strategies for computer problem solving

Heuristics: intelligent search strategies for computer problem solving
The complexity of some polynomial network consistency algorithms for constraint satisfaction problems

Artificial Intelligence
Many hard examples for resolution

Journal of the ACM (JACM)
Systematic and nonsystematic search strategies

Proceedings of the first international conference on Artificial intelligence planning systems
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems

Artificial Intelligence - Special volume on constraint-based reasoning
GENET: a connectionist architecture for solving constraint satisfaction problems by iterative improvement

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Weak-commitment search for solving constraint satisfaction problems

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Solution reuse in dynamic constraint satisfaction problems

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
In search of the best constraint satisfaction search

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Expected gains from parallelizing constraint solving for hard problems

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Constraint-based reasoning

Constraint-based reasoning
Using a genetic algorithm to tackle the processors configuration problem

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Genetic Algorithms and Simulated Annealing

Genetic Algorithms and Simulated Annealing
GSAT and Dynamic Backtracking

PPCP '94 Proceedings of the Second International Workshop on Principles and Practice of Constraint Programming
Improving connectionist energy minimization

Journal of Artificial Intelligence Research
Limited discrepancy search

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
GSAT and local consistency

IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1

A Glimpse of Constraint Satisfaction

Artificial Intelligence Review
Guided Genetic Algorithm and its Application to Radio Link Frequency Assignment Problems

Constraints
A Hybrid Seachr Architecture Applied to Hard Random 3-SAT and Low-Autocorrelation Binary Sequences

CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
Metaheuristics in combinatorial optimization: Overview and conceptual comparison

ACM Computing Surveys (CSUR)
SAT problems with chains of dependent variables

Discrete Applied Mathematics - The renesse issue on satisfiability
Constraint satisfaction techniques for the generation phase in declarative modeling

Geometric modeling
Enhancing Stochastic Search Performance by Value-Biased Randomization of Heuristics

Journal of Heuristics
Heuristic-Based Backtracking Relaxation for Propositional Satisfiability

Journal of Automated Reasoning
Tackling car sequencing problems using a generic genetic algorithm

Evolutionary Computation
Computing minimal diagnoses by greedy stochastic search

AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 2
Approximate model-based diagnosis using greedy stochastic search

SARA'07 Proceedings of the 7th International conference on Abstraction, reformulation, and approximation
Problem structure in the presence of perturbations

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Local search algorithms for partial MAXSAT

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Diagnosing multiple intermittent failures using maximum likelihood estimation

Artificial Intelligence
Approximate model-based diagnosis using greedy stochastic search

Journal of Artificial Intelligence Research
STEROID: in silico heuristic target combination identification for disease-related signaling networks

Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine

Quantified Score

Hi-index	0.00

Visualization

Abstract

This panel explores issues of systematic and stochastic control in the context of constraint satisfaction.