DPLL

Davis, Putnam (1960), Logeman, Loveland (1962), http://dx.doi.org/10.1145/321033.321034http://dx.doi.org/10.1145/368273.368557

Zustand = partielle Belegung



2014-07-06