A finite state intersection approach to propositional satisfiability.
José M. CastañoRodrigo CastañoPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- finite state
- propositional satisfiability
- sat solvers
- propositional logic
- markov chain
- constraint programming
- automated reasoning
- markov decision processes
- model checking
- industrial applications
- sat problem
- optimal policy
- max sat
- propositional formulas
- sat instances
- finite state transducers
- language model
- dynamic programming
- satisfiability problem
- first order logic
- constraint satisfaction problems
- partially observable markov decision processes
- graphical models
- stochastic local search
- computational complexity
- artificial intelligence