How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms. - Martin Mundhenk; Robert Zeranski (SAT, 2011)

Upward Planarity Testing via SAT. - Markus Chimani; Robert Zeranski (GD, 2012)

Upward Planarity Testing: A Computational Study. - Markus Chimani; Robert Zeranski (GD, 2013)

An Exact Approach to Upward Crossing Minimization. - Markus Chimani; Robert Zeranski (ALENEX, 2014)

Satisfiability Characterizations of Upward Planarity Problems. - Robert Zeranski (Verlag Dr. Hut, 2014)

Upward Planarity Testing in Practice: SAT Formulations and Comparative Study. - Markus Chimani; Robert Zeranski (ACM J. Exp. Algorithmics, 2015)