Author of the publication

The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation.

, , and . JCDCG, volume 3742 of Lecture Notes in Computer Science, page 16-28. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Optimal Tableaux for Propositional Dynamic Logic with Converse, and . CoRR, (2010)One-Pass Tableaux for Computation Tree Logic., , and . LPAR, volume 4790 of Lecture Notes in Computer Science, page 32-46. Springer, (2007)An Experimental Comparison of Theorem Provers for CTL., , and . TIME, page 49-56. IEEE, (2011)Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)., , , , and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 396-402. Springer, (2014)Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse., and . IJCAR, volume 6173 of Lecture Notes in Computer Science, page 225-239. Springer, (2010)An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability., , and . M4M, volume 231 of Electronic Notes in Theoretical Computer Science, page 191-209. Elsevier, (2007)Sound Global State Caching for ALC with Inverse Roles., and . TABLEAUX, volume 5607 of Lecture Notes in Computer Science, page 205-219. Springer, (2009)An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability., and . CADE, volume 5663 of Lecture Notes in Computer Science, page 437-452. Springer, (2009)Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description)., , and . LPAR, volume 7180 of Lecture Notes in Computer Science, page 383-390. Springer, (2012)