Upward Planarity Testing via SAT.

Markus Chimani Robert Zeranski

Published in: Graph Drawing (2012)

Keyphrases

satisfiability problem
test cases
sat solvers
statistical tests
software testing
propositional satisfiability
real time
data sets
case study
search algorithm
test set
search strategies
test suite
max sat