On the Random Generation of 3-SAT Instances (1995)
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 |
