search result

Cover von Beyond-Planar Graphs; 11
Algorithmics and Combinatorics : pp. 35-62
Search for this author
Year: 2017
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 11
Media group: DAGSTUHL REPORT
Cover von Answer Set Solving in Practice
Search for this author
Year: 2012
Publisher: San Rafael, Morgan & Claypool Publishers
Series: Synthesis lectures on artificial intelligence and machine learning; 19
Media group: MONOGRAPHIE
Cover von Answer Set Solving with Generalized Learned Constraints

Answer Set Solving with Generalized Learned Constraints

Author: Gebser, Martin
Year: 2016
Media group: OASICS
Cover von Theory Solving Made Easy with Clingo 5

Theory Solving Made Easy with Clingo 5

Author: Gebser, Martin
Year: 2016
Media group: OASICS
Cover von The Planar Tree Packing Theorem

The Planar Tree Packing Theorem

Year: 2016
Media group: LIPIcs
Cover von Algorithms and Insights for RaceTrack

Algorithms and Insights for RaceTrack

Author: Bekos, Michael A.
Year: 2016
Media group: LIPIcs
Cover von Multi-Criteria Optimization in Answer Set Programming

Multi-Criteria Optimization in Answer Set Programming

Year: 2011
Media group: LIPIcs
Cover von Linear-Time Algorithms for Hole-Free Rectilinear Proportional Contact Graph Representations
article in LNCS 7074
Search for this author
Year: 2012
Publisher: Berlin, Springer
Series: Lecture notes in computer science : 7074; pp. 281-291
Media group: ARTICLE
Cover von Graph Drawing with Algorithm Engineering Methods; 5
pp. 47-60
Search for this author
Year: 2011
Publisher: Wadern, LZI
Dagstuhl Reports
Count: 5
Media group: DAGSTUHL REPORT
Cover von Linear-Time Algorithms for Proportional Contact Graph Representations
Search for this author
Year: 2011
Publisher: Waterloo, University
Series: Technical Report / Waterloo / Cheriton School of Computer Science; 2011-19
Media group: TECHNICAL REPORT
OPEN V 11.1.0.0