Some Example Applications Of SAT
constraint satisfaction
- scheduling and planning
- temporal reasoning (Allen 1983)
- VLSI design and testing (Larrabee 1992)
direct connection to deductive reasoning
part of other AI reasoning tasks
- diagnosis / abduction
- default reasoning