Author of the publication

Recording and Minimizing Nogoods from Restarts.

, , , and . J. Satisf. Boolean Model. Comput., 1 (3-4): 147-167 (2007)

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

Simple Empty-Space Removal for Interactive Volume Rendering., , and . J. Graphics Tools, 13 (2): 21-36 (2008)Les ressources et la planification temporelle., , , and . INFORSID, page 515-529. (2006)Divide-and-Evolve: a Sequential Hybridization Strategy Using Evolutionary Algorithms., , and . Advances in Metaheuristics for Hard Optimization, Springer, (2008)Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance., , , and . CP, volume 4741 of Lecture Notes in Computer Science, page 453-467. Springer, (2007)A lookahead strategy for solving large planning problems.. IJCAI, page 1524-1525. Morgan Kaufmann, (2003)Extending Classical Planning Heuristics to Probabilistic Planning with Dead-Ends., , and . AAAI, page 1017-1022. AAAI Press, (2011)Adaptive K-Parallel Best-First Search: A Simple but Efficient Algorithm for Multi-Core Domain-Independent Planning., , and . SOCS, page 100-107. AAAI Press, (2010)Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing., , , and . CPAIOR, volume 9676 of Lecture Notes in Computer Science, page 303-318. Springer, (2016)Using hybrid planning for plan reparation., , , , and . ECMR, page 1-6. IEEE, (2015)Robust Feature Line Extraction on CAD Triangular Meshes., , and . GRAPP, page 106-112. SciTePress, (2011)