scrambled
scrambled
Concept

Sat solver

Modified just now
Books JourneyProgramming Language Theory Statuslearning Tags
  • formal system
  • logic
  • program analysis

A Decision procedure that determines whether a propositional boolean formula has a satisfying assignment, foundational to many automated reasoning tools.

A decision procedure that determines whether a propositional boolean formula has a satisfying assignment, foundational to many automated reasoning tools.