A Comparison of Approaches for Solving Hard Graph-Theoretic Problems.

Victoria Horan Steve Adachi Stanley Bak

Published in: CoRR (2015)

Keyphrases

graph theoretic
solving hard
combinatorial problems
search problems
propositional logic
graph theory
mathematical programming
maximum independent set
propositional satisfiability
multi objective
dynamic programming
np complete
combinatorial optimization
search strategies
satisfiability problem