Topological constraints on interconnection-limited logic

Published in: SWCT (1964)

Keyphrases

global constraints
logic programming
constrained optimization
resource constraints
constraint language
knowledge base
search space
co occurrence
constraint programming
modal logic
constraint propagation
classical logic
digital circuits
predicate logic
formal theory
topological features