Constraint Solving in Uncertain and Dynamic Environments: A Survey

Graph-Based Algorithms for Boolean Function Manipulation

Bryant · IEEE Transactions on Computers · 1986 · 8.9K citations · Full text

Computing, Computer Science, Algorithms +16

Markov Decision Processes: Discrete Stochastic Dynamic Programming.

Kasra Hazeghi, Martin L. Puterman · Journal of the American Statistical Association · 1995 · 8.5K citations

Business, Decision Sciences, Mathematics +14

Temporal constraint networks

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

Computing, Computer Science, Algorithms +14

A truth maintenance system

Jon Doyle · Artificial Intelligence · 1979 · 1.8K citations · Full text

Computing, Computer Science, Fault-tolerant Systems +5

An assumption-based TMS

Johan de Kleer · Artificial Intelligence · 1986 · 1.8K citations