Typical-case complexity and the SAT competitions
  • Metaadatok
Tartalom: http://easychair.org/publications/?page=629483607
Archívum: MTA Könyvtár
Gyűjtemény: Status = Published


Type = Conference or Workshop Item
Cím:
Typical-case complexity and the SAT competitions
Létrehozó:
Mann, Zoltán Ádám
Dátum:
2014
Téma:
QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
QA76 Computer software / programozás
Típus:
Conference or Workshop Item
PeerReviewed
Formátum:
text
Azonosító:
Mann, Zoltán Ádám (2014) Typical-case complexity and the SAT competitions. In: 5th Pragmatics of SAT Workshop (POS-14), 2014.07.13-2014.07.13, Bécs.
Kapcsolat: