Learning in a Compiler for MINSAT Algorithms

Anja Remshagen, Klaus Truemper

This paper describes learning in a compiler for algorithms solving classes of the logic minimization problem MINSAT, where the underlying propositional formula is in conjunctive no…