Gabor Kusper,
"Investigation of binary representations of sat, especially 2-literal representation"
: Conference of PhD Students in Computer Science, Szeged, Hungary, 7-2002, G. Kusper. Investigation of binary representations of sat,
especially 2-literal representation.
Conference of PhD Students in Computer Science, Szeged, Hungary,
July 1-4, 2002, July 2002. (9 pages)
Original Titel:
Investigation of binary representations of sat, especially 2-literal representation
Sprache des Titels:
Englisch
Original Buchtitel:
Conference of PhD Students in Computer Science, Szeged, Hungary
Erscheinungsmonat:
7
Erscheinungsjahr:
2002
Notiz zum Zitat:
G. Kusper. Investigation of binary representations of sat,
especially 2-literal representation.
Conference of PhD Students in Computer Science, Szeged, Hungary,
July 1-4, 2002, July 2002. (9 pages)