Learning Back-Clauses in SAT - (Poster Presentation).

Ashish Sabharwal Horst Samulowitz Meinolf Sellmann

Published in: SAT (2012)

Keyphrases

learning algorithm
online learning
neural network
search space
background knowledge
databases
search algorithm