Publications
- No One SATPlan Encoding To Rule Them All2015 | Faculty of Mathematics and Physics
- On Different Strategies for Eliminating Redundant Actions from Plans2014 | Faculty of Mathematics and Physics
- Relaxing the Relaxed Exist-Step Parallel Planning Semantics2013 | Faculty of Mathematics and Physics
- On Improving Plan Quality via Local Enhancements2012 | Faculty of Mathematics and Physics
- Shortening Plans by Local Re-Planning2012 | Faculty of Mathematics and Physics
- Two Semantics for Step-Parallel Planning: Which One to Choose? +12011 | Faculty of Mathematics and Physics
- Reinforced Encoding for Planning as SATPublication without faculty affiliation
- Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)2014 | Faculty of Mathematics and Physics
- Complexity Issues Related to Propagation Completeness2013 | Faculty of Mathematics and Physics
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
Loading network view...