Simulating Circuit-Level Simplifications on CNF.

Matti Järvisalo Armin Biere Marijn Heule

Published in: J. Autom. Reason. (2012)

Keyphrases

higher level
neural network
case study
machine learning
artificial intelligence
decision trees
search strategies
lower level
levels of abstraction