Sign in

Simulating Circuit-Level Simplifications on CNF.

Matti JärvisaloArmin BiereMarijn 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