Author of the publication

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

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning., , and . Logical Methods in Computer Science, (2007)Relaxation Refinement: A New Method to Generate Heuristic Functions., and . MoChArt, volume 5348 of Lecture Notes in Computer Science, page 147-165. Springer, (2008)LP Heuristics over Conjunctions: Compilation, Convergence, Nogood Learning., and . IJCAI, page 4837-4843. ijcai.org, (2018)Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure., , , , , , and . EuroS&P, page 77-91. IEEE, (2018)Web processing service for climate impact and extreme weather event analyses. Flyingpigeon (Version 1.0)., , , , , , , , , and 2 other author(s). Comput. Geosci., (2018)Conformant planning via heuristic forward search: A new approach., and . Artif. Intell., 170 (6-7): 507-541 (2006)Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings., , and . J. Artif. Intell. Res., (2009)Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4., , , , , and . J. Artif. Intell. Res., (2006)Where 'Ignoring Delete Lists' Works: Local Search Topology in Planning Benchmarks.. J. Artif. Intell. Res., (2005)How to Relax a Bisimulation?, , and . ICAPS, AAAI, (2012)