Home
DCC eCatalog
O.__Dubois
Typical random 3-SAT formulae and the satisfiability threshold
