Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems.
Tino TeigeMartin FränzlePublished in: TACAS (2011)
Keyphrases
- satisfiability problem
- davis putnam logemann loveland
- conjunctive normal form
- np complete
- search algorithm
- temporal logic
- phase transition
- sat problem
- stochastic local search algorithms
- solving hard
- first order logic
- max sat
- sat instances
- stochastic local search
- finite domain
- davis putnam
- boolean functions
- model checking
- orders of magnitude
- mazurkiewicz traces
- objective function