A Note for Parametric Complexity of #2SAT.

Guillermo De Ita Luna Fernando Zacarías Flores Alejandro Rangel-Huerta

Published in: LA-NMR (2011)

Keyphrases

computational complexity
search algorithm
computational cost
satisfiability problem
orders of magnitude
phase transition
learning algorithm
information systems
space complexity
complexity analysis