Learning in a Compiler for MINSAT Algorithms

Anja Remshagen Klaus Truemper

Published in: CoRR (2003)

Keyphrases

learning algorithm
combinatorial optimization problems
orders of magnitude
computational complexity
optimization problems
branch and bound algorithm
cost function