BDS: a BDD-based logic optimization system.

Congguang Yang Maciej J. Ciesielski Vigyan Singhal

Published in: DAC (2000)

Keyphrases

optimization problems
optimization algorithm
optimization method
multi valued
logic programming
automated reasoning
defeasible logic
databases
data mining
knowledge representation
classical logic
epistemic logic
linear logic