Login / Signup
A Fast and Efficient Method for #2SAT via Graph Transformations.
Marco A. López Medina
José Raymundo Marcial-Romero
Guillermo De Ita
Rosa Maria Valdovinos
Published in:
MICAI (1) (2017)
Keyphrases
</>
significant improvement
high precision
high accuracy
highly efficient
similarity measure
search algorithm
pairwise
cost function
experimental evaluation
graph structure
topological information
preprocessing
computationally efficient
detection method
graph representation