Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
From MaRDI portal
Publication:1244202
DOI10.1016/0004-3702(77)90029-7zbMath0372.94024MaRDI QIDQ1244202
Richard M. Stallman, Gerald J. Sussman
Publication date: 1977
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1721.1/6255
94-04: Software, source code, etc. for problems pertaining to information and communication theory
Related Items
Constraint Integer Programming: A New Approach to Integrate CP and MIP, The Complexity of Propositional Proofs, Efficient Algorithms for Functional Constraints, Multi-agent oriented constraint satisfaction, Symbolic constraint handling through unification in finite algebras, Learning in order to avoid search in logic programming, Simulation of hybrid circuits in constraint logic programming, Hybrid backtracking bounded by tree-decomposition of constraint networks, Heuristic-based backtracking relaxation for propositional satisfiability, Formula dissection: A parallel algorithm for constraint satisfaction, Ordering conjunctive queries, Planning for conjunctive goals, Network-based heuristics for constraint-satisfaction problems, A model for belief revision, The anomalous extension problem in default reasoning, Non-monotonic logic. I, A general framework for reason maintenance, A theory of interactions: Unifying qualitative and quantitative algebraic reasoning, Electronic circuit diagnostic expert systems - a survey, On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning, Generating multiple new designs from a sketch, Experimental evaluation of preprocessing algorithms for constraint satisfaction problems, Automatic construction of accurate models of physical systems, Approximating minimal unsatisfiable subformulae by means of adaptive core search, Qualitative rigid-body mechanics, Backjump-based backtracking for constraint satisfaction problems, Salt: A knowledge acquisition language for propose-and-revise systems, Propositional truth maintenance systems: Classification and complexity analysis, CyclePad: An articulate virtual laboratory for engineering thermodynamics, Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book, Conflict analysis in mixed integer programming, Inference of regular languages using state merging algorithms with search, A rational reconstruction of nonmonotonic truth maintenance systems, The state of SAT, Conflict-directed \(A^{*}\) and its role in model-based embedded systems, Generating Feasible Schedules for a Pick-up and Delivery Problem, Using an Incomplete Version of Dynamic Backtracking for Graph Colouring, Revision in ACMS
Uses Software
Cites Work
