Learning in a Compiler for MINSAT Algorithms.

Anja Remshagen Klaus Truemper Learning in a Compiler for MINSAT Algorithms. 271-286 2003 3 TPLP 3 db/journals/tplp/tplp3.html#RemshagenT03 http://dx.doi.org/10.1017/S147106840200162X