Gabor Kusper,
"Solving the resolution-free sat problem by hyper-unit propagation in linear time"
: Fifth International Symposium on the Theory and Applications of Satisfiability Testing, Seite(n) 323-332, 5-2002, G. Kusper. Solving the resolution-free sat problem by hyper-unit propagation in
linear time. Fifth International Symposium on the Theory and Applications of
Satisfiability Testing, pp.323-332, Cincinnati, Ohio, USA, May 6-9, 2002,
May 2002. (10 pages)
Original Titel:
Solving the resolution-free sat problem by hyper-unit propagation in linear time
Sprache des Titels:
Englisch
Original Buchtitel:
Fifth International Symposium on the Theory and Applications of Satisfiability Testing
Seitenreferenz:
323-332
Erscheinungsmonat:
5
Erscheinungsjahr:
2002
Notiz zum Zitat:
G. Kusper. Solving the resolution-free sat problem by hyper-unit propagation in
linear time. Fifth International Symposium on the Theory and Applications of
Satisfiability Testing, pp.323-332, Cincinnati, Ohio, USA, May 6-9, 2002,
May 2002. (10 pages)