Propagation of constraints applied to circuit synthesis

This publication has 5 references indexed in Scilit:

• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
  Artificial Intelligence, 1977
• Topological generation and analysis of voltage multiplier circuits
  IEEE Transactions on Circuits and Systems, 1977
• A survey of applications of symbolic network functions
  IEEE Transactions on Circuit Theory, 1973
• Symbolic analysis for computer-aided circuit design-The interpolative approach
  IEEE Transactions on Circuit Theory, 1973
• The Sparse Tableau Approach to Network Analysis and Design
  IEEE Transactions on Circuit Theory, 1971