Robert Zeranski

According to our database, Robert Zeranski authored at least 6 papers between 2011 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

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

Markus Chimani, Robert Zeranski

ACM J. Exp. Algorithmics, 2015

2014

Satisfiability Characterizations of Upward Planarity Problems.

Robert Zeranski

PhD thesis, 2014

An Exact Approach to Upward Crossing Minimization.

Markus Chimani, Robert Zeranski

Proceedings of the 2014 Proceedings of the Sixteenth Workshop on Algorithm Engineering and Experiments, 2014

2013

Upward Planarity Testing: A Computational Study.

Markus Chimani, Robert Zeranski

Proceedings of the Graph Drawing - 21st International Symposium, 2013

2012

Upward Planarity Testing via SAT.

Markus Chimani, Robert Zeranski

Proceedings of the Graph Drawing - 20th International Symposium, 2012

2011

How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms.

Martin Mundhenk, Robert Zeranski

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011