Proof Logging for the Circuit Constraint.

Matthew J. McIlree Ciaran McCreesh Jakob Nordström

Published in: CPAIOR (2) (2024)

Keyphrases

high speed
linear logic
linear constraints
circuit design
natural deduction
theorem prover
constraint networks
consistency constraints
constraint solving
frequency response