Random 2-SAT and unsatisfiability

Yann Verhoeven
  • Information Processing Letters, November 1999, Elsevier
  • DOI: 10.1016/s0020-0190(99)00128-3

The authors haven't yet claimed this publication.

Read Publication

http://dx.doi.org/10.1016/s0020-0190(99)00128-3