A Linear Time Algorithm for Counting #2SAT on Series-Parallel Formulas.
Marco A. López MedinaJosé Raymundo Marcial-RomeroGuillermo De Ita LunaJosé A. HernándezPublished in: MICAI (1) (2020)
Keyphrases
- series parallel
- propositional formulas
- sat solvers
- cnf formula
- satisfiability problem
- boolean formula
- temporal reasoning
- precedence constraints
- conjunctive normal form
- search algorithm
- propositional satisfiability
- sat problem
- redundancy allocation
- max sat
- truth assignment
- constraint networks
- propositional logic
- phase transition
- branch and bound algorithm
- np complete
- probability distribution
- evolutionary algorithm
- lower bound
- knowledge base