Papers List

• SEARCH:
• Breadth-First Heuristic Search. R. Zhou and E. Hansen. ICAPS-04.
• Multiple Pattern Databaes. R. Holte et al. ICAPS-04.
• Structured Duplicate Detection in External-Memory Graph Search. R. Zhou and E. Hansen. AAAI-04.
• Large-Scale Parallel Breadth-First Search. R. Korf and P. Schultze. AAAI-05.


• PLANNING:
• A Planning Heuristic Based on Causal Graph Analysis. M. Helmert. ICAPS-04.
• New Admissible Heuristics for Domain-Independent Planning. P. Haslum and B. Bonet and H. Geffner. AAAI-05.


• SAT:
• On the Tractable Counting of Theory Models and its Applications to Belief Revision and Truth Maintenance. A. Darwiche. Journal of Applied Non-Classical Logics. 2000.
• Compilation of Query-Rewriting Problems into Tractable Fragments of Propositional Logic. Y. Arvelo and B. Bonet and M. Vidal. AAAI-06.


• CSP:
• Bucket Elimination: A unifying framework for Reasoning. R. Dechter. Artificial Intelligence. 1999.
• From Local to Global Consistency. R. Dechter. Artificial Intelligence. 1992.
• Constraints Networks (Survey). R. Dechter. Encyclopedia of Artificial Intelligence. 1992.