Publikace
- No One SATPlan Encoding To Rule Them All2015 | Matematicko-fyzikální fakulta
- Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)2014 | Matematicko-fyzikální fakulta
- Relaxing the Relaxed Exist-Step Parallel Planning Semantics2013 | Matematicko-fyzikální fakulta
- Complexity Issues Related to Propagation Completeness2013 | Matematicko-fyzikální fakulta
- Solving SMT Problems with a Costly Decision Procedure by Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- Finding Minimum Satisfying Assignments of Boolean Formulas2013 | Matematicko-fyzikální fakulta
- On Hierarchies over the SLUR Class2012 | Matematicko-fyzikální fakulta
- On Hierarchies over the Class of SLUR Formulae2011 | Matematicko-fyzikální fakulta
- Finding Minimum Satisfying Assignments of Boolean FormulasPublikace bez příslušnosti k fakultě
- Reinforced Encoding for Planning as SATPublikace bez příslušnosti k fakultě
Loading network view...