Reasoning, metareasoning, and mathematical truth: studies of theorem proving under limited resources

A new method for solving hard satisfiability problems

1992 • 1,203 citations

Hard and easy distributions of SAT problems

1992 • 815 citations

An analysis of time-dependent planning

1988 • 799 citations

Automated Theorem Proving

1987 • 471 citations

Mathematics and Plausible Reasoning, Volume 1: Induction and Analogy in Mathematics

1954 • 315 citations

Reasoning about beliefs and actions under computational resource constraints

1988 • 313 citations

Solving time-dependent planning problems

1989 • 302 citations

Reasoning under varying and uncertain resource constraints

1988 • 193 citations

Reflection and action under scarce resources: theoretical principles and empirical study

1989 • 132 citations

Anytime deduction for probabilistic logic

1994 • 120 citations

Computation and action under bounded resources

1991 • 115 citations

Time-Dependent Utility and Action Under Uncertainty

1991 • 87 citations

Provably bounded optimal agents

1993 • 65 citations

Rationality and its roles in reasoning

1990 • 24 citations

Anytime Decision Making with Imprecise Probabilities

1994 • 5 citations