R.M. Stallman and G.J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9(2):135--196, 1977. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automatically Generating Abstractions for Problem Solving - Knoblock (1991) (56 citations) (Correct)
No context found.
R.M. Stallman and G.J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9(2):135--196, 1977.
A Model for Deliberation, Action, and Introspection - Doyle (1980) (1 citation) (Correct)
No context found.
Stallman, R. M., and Sussman, G. J., 1977. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence 9, 135-196.
A Personalised Music System for Motivation in Sport.. - Gertjan Wijnalda Master's (Correct)
No context found.
Stallman, R. & G. J. Sussman (1977). Forward reasoning and dependency directed backtracking.
A Fast Pseudo-Boolean Constraint Solver - Chai, Kuehlmann (2003) (7 citations) (Correct)
No context found.
R. M. Stallman and G. J. Sussman, "Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis," Artificial Intelligence, vol. 9, no. 2, pp. 135--196, 1977.
A Fast Pseudo-Boolean Constraint Solver - Chai, Kuehlmann (2005) (7 citations) (Correct)
No context found.
R. M. Stallman and G. J. Sussman, "Forward reasoning and dependency directed backtracking in a system for computer aided circuit analysis," Artif. Intell., vol. 9, no. 2, pp. 135--196, 1977.
Reasoning about Circuits: A Model-Based Approach - Flores, Farley (Correct)
No context found.
R. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135--196, 1977.
Constraints: A Uniform Approach to Aliasing and Typing - Lamport, Schneider (1984) (3 citations) (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward Reasoning and Dependency -Directed Backtracking in a System for Computer-Aided Circuit Analysis. Ariticial Intelligence 9, 1977, 135-196.
Conflict-directed A* and Its Role in Model-based Embedded.. - Williams, Ragno (Correct)
No context found.
R. Stallman, G. J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence 9 (1977) 135--196.
Heuristic-Based Backtracking for Propositional.. - Bhalla, Lynce, de.. (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135--196, October 1977.
Building State-of-the-Art SAT Solvers - Lynce, Marques-Silva (2002) (2 citations) (Correct)
No context found.
R. M. Stallman and G. J. Sussman, `Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis', Artificial Intelligence, 9, 135--196, (October 1977).
The Effect of Nogood Recording in DPLL-CBJ SAT Algorithms - Lynce, Marques-Silva (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135--196, October 1977.
Simplification and Backjumping in Modal Tableau - Hustadt, Schmidt (1998) (2 citations) (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artifical Intelligence, 9:135--196, 1977.
Efficient Search Techniques for the Inference of Minimum.. - Oliveira, Marques-Silva (1998) (1 citation) (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computeraided circuit analysis. Artificial Intelligence, 9:135 -- 196, 1977.
Heuristic-Based Backtracking for Propositional.. - Bhalla, Lynce, de.. (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135--196, October 1977.
Conflict-directed A* and Its Role in Model-based Embedded.. - Williams, Ragno (2003) (Correct)
No context found.
R. Stallman, G. J. Sussman, Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis, Artificial Intelligence 9 (1977) 135--196.
Models and Algorithms for Optimization Problems in Digital.. - Flores (2001) (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence Journal, 9:135--196, October 1977.
Heuristic Backtracking Algorithms for SAT - Bhalla, Lynce, de Sousa.. (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computeraided circuit analysis. Artificial Intelligence, 9:135--196, October 1977.
On the Relations between Intelligent Backtracking and.. - Kambhampati (1997) (7 citations) (Correct)
No context found.
R. Stallman and G. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer aided circuit analysis. Artificial Intelligence, 9:135--196, 1977.
Description of the RACER System and its Applications - Haarslev, Möller (2001) (26 citations) (Correct)
No context found.
R.M. Stallman and G.J. Sussman. Forward reasoning and dependencydirected backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9(2):135--196, 1977.
Formalizing Dependency Directed Backtracking and Explanation.. - Kambhampati (1996) (Correct)
No context found.
R. Stallman and G. Sussman. Forward Reasoning and Dependency-directed Backtracking in a System for Computer Aided Circuit Analysis. Artificial Intelligence, Vol. 9, pp. 135-196. 1977.
k-Relevant Explanations for Constraint Programming - Ouis, Jussien, Boizumault (Correct)
No context found.
Stallman, R.M., Sussman, G.J.: Forward reasoning and dependency directed backtracking in a system for computer-aided circuit analysis. Arti cial Intelligence 9 (1977) 135-196
Approximating Minimal Unsatisfiable Subformulae by Means of.. - Bruni (2002) (Correct)
No context found.
R. Stallman and G.J. Sussman. Forward reasoning and dependency directed backtracking. Artificial Intelligence 9(2) (1977) 135--196.
Dynamic Flexible Constraint Satisfaction and its Application to.. - Miguel (2001) (5 citations) (Correct)
No context found.
R.M. Stallman and G.J. Sussman. Forward reasoning and dependencydirected backtracking in a system for computer aided circuit analysis. Arti cial Intelligence, 9:135-196, 1977.
Tuning Randomization in Backtrack Search SAT Algorithms - Lynce, Marques-Silva (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Arti cial Intelligence, 9:135-196, October 1977.
Explanation-Based Repair Techniques for Constraint Programming - Jussien, Debruyne (Correct)
No context found.
R. M. Stallman and G. J. Sussman. Forward reasoning and dependency directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9:135--196, 1977.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC