An Exercise in LP: The Proof of a Non Restoring Division Circuit.

Boutheina Chetali Pierre Lescanne

Published in: Larch (1992)

Keyphrases

linear programming
high speed
database
linear program
circuit design
analog circuits
logic circuits
expert systems
theorem prover
tunnel diode
automated theorem proving
linear logic
digital circuits
theorem proving
special case
information systems
information retrieval