Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation).

Norbert Manthey

Published in: SAT (2012)

Keyphrases

multimedia
user friendly
data sets
databases
genetic algorithm
information systems
case study
np complete
boolean functions