scientific article; zbMATH DE number 2080317
From MaRDI portal
Publication:4473036
zbMATH Open1044.68789MaRDI QIDQ4473036FDOQ4473036
Authors: Steven Prestwich 
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1894/18940337.htm
Title of this publication is not available (Why is that?)
Recommendations
- A generic approach to combining stochastic algorithms with systematic constraint solvers
- Local Search and Constraint Programming
- Combining the scalability of local search with the pruning techniques of systematic search
- scientific article; zbMATH DE number 2085252
- Stochastic systematic search algorithms for satisfiability
Cited In (16)
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes
- Finding the right hybrid algorithm -- a combinatorial meta-problem
- SAT problems with chains of dependent variables
- On-line resources allocation for ATM networks with rerouting
- Local search with constraint propagation and conflict-based heuristics
- Heuristic-based backtracking relaxation for propositional satisfiability
- Random backtracking in backtrack search algorithms for satisfiability
- Exploiting relaxation in local search for LABS
- Nondeterministic Control for Hybrid Search
- A SAT approach to query optimization in mediator systems
- A generic approach to combining stochastic algorithms with systematic constraint solvers
- Finding the right hybrid algorithm -- A combinatorial meta-problem
- The Relation Between Complete and Incomplete Search
- Nondeterministic control for hybrid search
- Backjump-based backtracking for constraint satisfaction problems
- Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain
Uses Software
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4473036)
