Pages that link to "Item:Q1605408"
From MaRDI portal
The following pages link to Backjump-based backtracking for constraint satisfaction problems (Q1605408):
Displaying 22 items.
- A hybrid soft computing approach for subset problems (Q474017) (← links)
- State space search nogood learning: online refinement of critical-path dead-end detectors in planning (Q514137) (← links)
- An exercise in transformational programming: Backtracking and Branch-and- Bound (Q808723) (← links)
- Backjumping for quantified Boolean logic satisfiability (Q814445) (← links)
- Efficient solution techniques for disjunctive temporal reasoning problems (Q814524) (← links)
- Heuristic-based backtracking relaxation for propositional satisfiability (Q862398) (← links)
- AND/OR search spaces for graphical models (Q1028898) (← links)
- No more ``Partial'' and ``Full Looking Ahead'' (Q1128494) (← links)
- Backtracking and random constraint satisfaction (Q1370608) (← links)
- A theoretical evaluation of selected backtracking algorithms. (Q1399134) (← links)
- Accelerating backtrack search with a best-first-search strategy (Q2018417) (← links)
- Solving the many to many assignment problem by improving the Kuhn-Munkres algorithm with backtracking (Q2634668) (← links)
- Generating effective symmetry-breaking predicates for search problems (Q2643299) (← links)
- Random backtracking in backtrack search algorithms for satisfiability (Q2643305) (← links)
- Conflict-directed backjumping revisited (Q2717783) (← links)
- Efficient intelligent backtracking using linear programming (Q2884543) (← links)
- Abstract answer set solvers with backjumping and learning (Q3008404) (← links)
- Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance (Q3523073) (← links)
- A sufficient condition for backtrack-bounded search (Q3771663) (← links)
- Implementing Efficient All Solutions SAT Solvers (Q5266602) (← links)
- Inter-block Backtracking: Exploiting the Structure in Continuous CSPs (Q5450794) (← links)
- Principles and Practice of Constraint Programming – CP 2004 (Q5900302) (← links)