Search, Constraints & Games
State-space and adversarial search, constraint satisfaction, automated reasoning, puzzles.
Topics
Problems attacked from this category
- Boolean satisfiability14
- Code-breaking puzzles2
- Combinatorial game solving5
- Combinatorial optimization3
- Constraint puzzles4
- Constraint satisfaction25
- Emergent and cellular computation2
- Endgame databases1
- Equational theorem proving2
- Exact cover3
- Extensive-form game solving4
- Finite model finding2
- First-order theorem proving6
- Game solving and proof search3
- Game-tree search28
- Ground equality reasoning2
- Hamiltonian paths and tours1
- Inductive theorem proving2
- Informed search under budgets1
- Integer and decomposed programming3
- Knapsack1
- Large-theory premise selection2
- Logic program evaluation2
- Logic puzzle solving8
- Maze generation6
- Maze solving3
- Multi-armed bandits1
- Multiplayer game search3
- Normal-form equilibrium computation2
- Number puzzles3
- Puzzle-state search7
- Quantifier instantiation2
- Rubik's cube solving4
- Search under hidden information3
- Search with chance nodes4
- SMT solving and theory combination3
- Term rewriting completion2
- Tower of Hanoi2
- Traveling salesman2
- Unification6
- Word puzzles4