Constraints and satisfiability
Problems that a set of constraints defines, and the solvers that AI uses for them.
- Constraint satisfaction problems
- Constraint propagation
- Constraint programming
- SAT in AI
- SMT and optimization modulo theories
- Distributed constraints
- Constraint learning
This area has no pages yet. The coverage plan lists the pages that it needs. You can write one of them. Read how to contribute.