Taking backtracking with a grain of SALT

Proceedings of the National Conference on Artificial Intelligence

Chiara Piacentini, Maria Fox, Derek Long · 2015 · 1.2K citations

Artificial Intelligence, Ai Architecture, Engineering +3

Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2017)

Giovanni Amendola, Francesco Ricca, Mirosław Truszczyński · International Joint Conference on Artificial Intelligence · 2017 · 1.2K citations

Artificial Intelligence, Ijcai 2017, Ai Architecture +8

Planning with constraints (MOLGEN: Part 1)

Mark Stefik · Artificial Intelligence · 1981 · 814 citations

Mathematical Programming, Planning Theory, Part 1 +9

Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis

Richard Stallman, Gerald Jay Sussman · Artificial Intelligence · 1977 · 708 citations

Logic Synthesis, Engineering, Circuit Design +14

Knowledge Based Systems in Artificial Intelligence

Telematics and Informatics · 1986 · 464 citations

Artificial Intelligence, Knowledge Representation, Engineering +6