Pages that link to "Item:Q1605408"
From MaRDI portal
The following pages link to Backjump-based backtracking for constraint satisfaction problems (Q1605408):
Displaying 8 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)
- Efficient solution techniques for disjunctive temporal reasoning problems (Q814524) (← links)
- AND/OR search spaces for graphical models (Q1028898) (← links)
- Accelerating backtrack search with a best-first-search strategy (Q2018417) (← links)
- Generating effective symmetry-breaking predicates for search problems (Q2643299) (← links)
- Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance (Q3523073) (← links)
- Implementing Efficient All Solutions SAT Solvers (Q5266602) (← links)