How circuits work

This publication has 8 references indexed in Scilit:

• Qualitative process theory
  Artificial Intelligence, 1984
• Commonsense reasoning about causality: Deriving behavior from structure
  Artificial Intelligence, 1984
• A qualitative physics based on confluences
  Artificial Intelligence, 1984
• Qualitative analysis of MOS circuits
  Artificial Intelligence, 1984
• Constraints—A language for expressing almost-hierarchical descriptions
  Artificial Intelligence, 1980
• Propagation of constraints applied to circuit synthesis
  International Journal of Circuit Theory and Applications, 1980
• A truth maintenance system
  Artificial Intelligence, 1979
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977