Dr. Robert Zeranski

Contact Details

Office hours please make an appointment
robertzeranski
eMail (preferred) firstname.lastname @ uni-jena.de
Telephone +49/3641/9-46323
Fax +49/3641/9-46322
Room 3330

Research Interests

  • Algorithm Engineering: Graph Algorithms and Applications
  • Graph Drawing: Upward Planarity and Upward Crossing Minimization
  • SAT Solving and SAT Usage
  • Combinatorial Optimization
  • Computational Complexity

Publications

2014

[CZ14] Markus Chimani and Robert Zeranski, An Exact Approach To Upward Crossing Minimization, SIAM Meeting on Algorithm Engineering & Experiments (ALENEX'14), Portland, 2014. [pdf]


2013

[CZ13] Markus Chimani and Robert Zeranski, Upward Planarity: A Computational Study, 21th International Symposium on Graph Drawing (GD'13), Bordeaux, 2013. LNCS 8242 [pdf]


2012

[CZ12] Markus Chimani and Robert Zeranski, Upward Planarity via SAT, 20th International Symposium on Graph Drawing (GD'12), Redmond, 2012. LNCS 7704, pp. 248-259 [pdf]


2011

[MZ11] Martin Mundhenk and Robert Zeranski, How to apply SAT-solving for the equivalence test of monotone normal forms, Theory and Applications of Satisfiability Testing (SAT'11), Ann Arbor, 2011. LNCS 6695, pp. 105-119 [pdf]


PhD Thesis

Robert Zeranski, Satisfiability Characterizations of Upward Planarity Problems, PhD Thesis, 2014. [pdf]



Locations of Site Visitors