Propositional Calculus Problems in CHIP.

Helmut Simonis Mehmet Dincbas

Published in: WCLP (1991)

Keyphrases

propositional calculus
low cost
problems involving
solving problems
linear programming
logic programs
np complete
power consumption
information retrieval
information systems
multi agent
optimization problems
vlsi implementation