27 search results - page 6 / 6 » Encoding Large Asynchronous Controllers With ILP Techniques |
JAIR
2006
13 years 4 months ago
2006
Fast Downward is a classical planning system based on heuristic search. It can deal with general deterministic planning problems encoded in the propositional fragment of PDDL2.2, ...
VL
2010
IEEE
13 years 3 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...