Model Counting for 2SAT Based on Graphs by Matrix Operators.

Carlos Guillén Aurelio López-López Guillermo De Ita Luna

Published in: Eng. Lett. (2007)

Keyphrases

model counting
weighted model counting
knowledge compilation
polynomial size
satisfiability testing
graph theoretic
sat solvers
learning algorithm
computational complexity
undirected graph
planning domains
random graphs
bounded treewidth