Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-95-2-003.pdf (Any fulltext), 248KB
Barth, P.(1995). A Davis-Putnam based enumeration algorithm for linear pseudo-Boolean optimization (MPI-I-1995-2-003). Saarbrücken: Max-Planck-Institut für Informatik.