Zoltán Ádám Mann. Typical-case complexity and the SAT competitions. In Daniel Le Berre, editor, POS-14. Fifth Pragmatics of SAT workshop, a workshop of the SAT 2014 conference, part of FLoC 2014 during the Vienna Summer of Logic, July 13, 2014, Vienna, Austria. Volume 27 of EPiC Series, pages 72-87, EasyChair, 2014. [doi]
Abstract is missing.