Some ideas on random generation of k-SAT instances (1994)

Cached

Download Links

by Richard Genisson , Lakhdar Sais
Citations:2 - 0 self