Publications
- No One SATPlan Encoding To Rule Them All2015 | Faculty of Mathematics and Physics
- Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)2014 | 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
- Reinforced Encoding for Planning as SATPublication without faculty affiliation
- 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
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Faculty of Mathematics and Physics
- On Hierarchies over the SLUR Class2012 | Faculty of Mathematics and Physics
- On Improving Plan Quality via Local Enhancements2012 | Faculty of Mathematics and Physics
Loading network view...