Keyphrases
- sat solvers
- satisfiability problem
- sat problem
- delay insensitive
- propositional satisfiability
- search algorithm
- phase transition
- high level
- stochastic local search algorithms
- formal specification
- functional requirements
- sat instances
- stochastic local search
- neural network
- propositional logic
- control flow
- operational semantics
- np complete
- boolean satisfiability
- reactive systems
- sat solving
- programming language