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

Cached

Download Links

by Antoine Rauzy
Venue:LABORATOIRE BORDELAIS DE RECHERCHE EN INFORMATIQUE, UNIVERSITE BORDEAUX I
Citations:2 - 0 self

Document Versions

On the Random Generation of 3-SAT Instances –Antoine Rauzy — 1995 — LABORATOIRE BORDELAIS DE RECHERCHE EN INFORMATIQUE, UNIVERSITE BORDEAUX I