REAL

Typical-case complexity and the SAT competitions

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.

[img]
Preview
Text
Mann_POS_2014.pdf

Download (545kB) | Preview
Item Type: Conference or Workshop Item (Paper)
Subjects: Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány
Q Science / természettudomány > QA Mathematics / matematika > QA76 Computer software / programozás
SWORD Depositor: MTMT SWORD
Depositing User: MTMT SWORD
Date Deposited: 19 Sep 2015 19:22
Last Modified: 19 Sep 2015 19:22
URI: http://real.mtak.hu/id/eprint/26983

Actions (login required)

Edit Item Edit Item