Modelling and solving temporal reasoning as propositional satisfiability

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Computing, History, Information Retrieval +4

Chaff

Matthew W. Moskewicz, Conor Madigan, Ying Zhao et al. · 2001 · 2.9K citations

Computing, Computer Science, Algorithms +12

Consistency in networks of relations

Alan K. Mackworth · Artificial Intelligence · 1977 · 2.4K citations

Computing, Computer Science, Knowledge Representation +8

Temporal constraint networks

Rina Dechter, Itay Meiri, Judea Pearl · Artificial Intelligence · 1991 · 1.8K citations

Computing, Computer Science, Algorithms +14

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