Robert Zeranski

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Comparative Study

Propositional Satisfiability

Search Algorithm

Top Venues

ACM J. Exp. Algorithmics

Friedrich Schiller University of Jena (PHD)

Education History

Friedrich Schiller University of Jena

PHD

Publications

Markus Chimani, Robert Zeranski
Upward Planarity Testing in Practice: SAT Formulations and Comparative Study. ACM J. Exp. Algorithmics 20 (2015)
Markus Chimani, Robert Zeranski
An Exact Approach to Upward Crossing Minimization. ALENEX (2014)
Markus Chimani, Robert Zeranski
Upward Planarity Testing: A Computational Study. Graph Drawing (2013)
Markus Chimani, Robert Zeranski
Upward Planarity Testing via SAT. Graph Drawing (2012)
Martin Mundhenk, Robert Zeranski
How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms. SAT (2011)