A Linear Time Algorithm for Solving #2SAT on Cactus Formulas.
M. A. LópezJosé Raymundo Marcial-RomeroGuillermo De Ita LunaHéctor A. Montes VenegasRoberto AlejoPublished in: CoRR (2017)
Keyphrases
- boolean formula
- np complete problems
- sat instances
- stochastic local search
- sat problem
- graph coloring
- sat solvers
- sat solving
- boolean satisfiability
- variable ordering
- np complete
- boolean optimization
- weighted max sat
- sat encodings
- max sat
- solving problems
- pseudo boolean
- combinatorial problems
- knowledge base
- davis putnam logemann loveland