Upward Planarity Testing in Practice: SAT Formulations and Comparative Study.

Markus Chimani Robert Zeranski

Published in: ACM J. Exp. Algorithmics (2015)

Keyphrases

comparative study
satisfiability problem
real world
search algorithm
sat solvers
np complete
test data
phase transition
sat instances
temporal logic
line drawings
propositional logic
sat problem
propositional satisfiability