The following pages link to Backtrack programming techniques (Q4072832):
Displaying 25 items.
- Information-theoretic approaches to branching in search (Q429675) (← links)
- Optimal rectangle packing (Q610984) (← links)
- New decision rules for exact search in \(N\)-queens (Q652694) (← links)
- Parallel state-space search for a first solution with consistent linear speedups (Q757044) (← links)
- Average time analyses of simplified Davis-Putnam procedures (Q787685) (← links)
- An almost perfect heuristic for the N nonattacking queens problem (Q911320) (← links)
- A backtracking method for constructing perfect hash functions from a set of mapping functions (Q1059411) (← links)
- Branch \& Sample: A simple strategy for constraint satisfaction (Q1123646) (← links)
- Backtracking with multi-level dynamic search rearrangement (Q1138385) (← links)
- Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems (Q1204869) (← links)
- Model-based inference in CHARME. (Q1342427) (← links)
- An average case analysis of a resolution principle algorithm in mechanical theorem proving. (Q1353997) (← links)
- Interactive scheduling as a constraint satisfiability problem (Q1356209) (← links)
- A theoretical evaluation of selected backtracking algorithms. (Q1399134) (← links)
- Backtracking tactics in the backtrack method for SAT (Q1596804) (← links)
- Backjump-based backtracking for constraint satisfaction problems (Q1605408) (← links)
- Efficient graph automorphism by vertex partitioning (Q1836990) (← links)
- The \(Multi\)-SAT algorithm (Q1961449) (← links)
- Jigsaw puzzles, edge matching, and polyomino packing: Connections and complexity (Q2373445) (← links)
- Exhaustive approaches to 2D rectangular perfect packings (Q2390210) (← links)
- A non-binary constraint ordering heuristic for constraint satisfaction problems (Q2425983) (← links)
- Staffing a software project: A constraint satisfaction and optimization-based approach (Q2482363) (← links)
- Automatic design of quantum circuits. Generation of quantum teleportation protocols (Q2685571) (← links)
- Dynamic variable ordering in graph based backjumping algorithms for csps (Q4511615) (← links)
- Multi-agent oriented constraint satisfaction (Q5958494) (← links)
