Reasoning from last conflict(s) in constraint programming

Strips: A new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson · Artificial Intelligence · 1971 · 4.1K citations

Computing, Computer Science, Artificial Intelligence +15

PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains

Maria Fox, Derek Long · Journal of Artificial Intelligence Research · 2003 · 1.7K citations · Full text

Management, Decision Sciences, Production Planning +13

New methods to color the vertices of a graph

Daniel Brélaz · Communications of the ACM · 1979 · 1.6K citations · Full text

Natural Sciences, Computer Science, Mathematics +16

Automated planning theory and practice

Malik Ghallab, Dana Nau, Paolo Traverso · HAL (Le Centre pour la Communication Scientifique Directe) · 2004 · 1.5K citations

Planning, Emergency Planning, Evacuation Planning +13

Increasing tree search efficiency for constraint satisfaction problems

Robert M. Haralick, Gordon L. Elliott · Artificial Intelligence · 1980 · 1.1K citations

Computing, Computer Science, Algorithms +13