Gabor Kusper,
"Solving the sat problem by hyper-unit propagation"
, Serie RISC Report Series, Nummer 02-02, 2002, G. Kusper.
Solving the sat problem by hyper-unit propagation.
Technical report, RISC, 2002. (18 pages)
Original Titel:
Solving the sat problem by hyper-unit propagation
Sprache des Titels:
Englisch
Serie:
RISC Report Series
Number:
02-02
Erscheinungsjahr:
2002
Notiz zum Zitat:
G. Kusper.
Solving the sat problem by hyper-unit propagation.
Technical report, RISC, 2002. (18 pages)