Propositional Calculus Problems in CHIP.

Helmut Simonis Mehmet Dincbas

Published in: ALP (1990)

Keyphrases

propositional calculus
np complete
neural network
low cost
optimization problems
problems involving
computational complexity
lower bound
linear programming
benchmark problems