The complexity of generating test instances (1997)

by C Karg, J Kobler, R Schuler
Venue:in Proc. STACS'97, Lecture Notes in Computer Science
Add To MetaCart
Results 1 - 1 of 1

On a Positive Instance Generation for the 3-Satisfiability (3SAT) Problem

by Atsushi Mochizuki, Mitsuo Motoki, Osamu Watanabe , 1996
"... this report reserves all the rights. BjL\!' #3=
Abstract - Add to MetaCart
this report reserves all the rights. BjL\!' #3=<B-2DG=@-H=DjLdBj 3SAT $N@5NcBj@8@.<jK!$N2r@O