DPLL: Heuristiken, Modifikationen

alles vorbildlich implementiert und dokumentiert in Minisat http://minisat.se/ (seit ca. 2005 sehr starker Solver)



2014-03-31