On the Random Generation of 3-SAT Instances (1995)

by Antoine Rauzy
Venue:LABORATOIRE BORDELAIS DE RECHERCHE EN INFORMATIQUE, UNIVERSITE BORDEAUX I