Scalable parallel solver of boolean satisfiability problems.
Vera G. BogdanovaSergey A. GorskyPublished in: MIPRO (2018)
Keyphrases
- satisfiability problem
- np complete
- conjunctive normal form
- davis putnam logemann loveland
- search algorithm
- phase transition
- temporal logic
- stochastic local search algorithms
- sat problem
- clause learning
- solving hard
- stochastic local search
- boolean formula
- pspace complete
- boolean functions
- davis putnam
- mazurkiewicz traces
- finite domain
- weighted max sat
- unit propagation
- modal logic