The following pages link to (Q4473036):
Displaying 10 items.
- Heuristic-based backtracking relaxation for propositional satisfiability (Q862398) (← links)
- SAT problems with chains of dependent variables (Q1408386) (← links)
- Backjump-based backtracking for constraint satisfaction problems (Q1605408) (← links)
- Local search with constraint propagation and conflict-based heuristics (Q1606115) (← links)
- A SAT approach to query optimization in mediator systems (Q1777403) (← links)
- Exploiting relaxation in local search for LABS (Q2468767) (← links)
- On-line resources allocation for ATM networks with rerouting (Q2489130) (← links)
- Random backtracking in backtrack search algorithms for satisfiability (Q2643305) (← links)
- The Relation Between Complete and Incomplete Search (Q2950519) (← links)
- Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes (Q5479853) (← links)
