Login / Signup
On Modeling Connectedness in Reductions from Graph Problems to Extended Satisfiability.
Ricardo Tavares de Oliveira
Fabiano Silva
Bruno Cesar Ribas
Marcos A. Castilho
Published in:
IBERAMIA (2012)
Keyphrases
</>
np complete
connected components
graph theory
optimization problems
random walk
solving problems
graph theoretic
neural network
structured data
decision problems
satisfiability problem
propositional logic
directed acyclic graph
reasoning problems
sat solving