C Coarfa, DD Demopoulos, ASM Aguirre… - … on Principles and …, 2000 - Springer
This paper presents an experimental investigation of the following questions: how does the
average-case complexity of random 3-SAT, understood as a function of the order (number of …