✦ LIBER ✦

The maximum length of prime implicates for instances of 3-SAT

✍ Scribed by Paul E. Dunne; Trevor J.M. Bench-Capon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Statistical physics analysis of the back

✍ Simona Cocco; Rémi Monassonb 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 773 KB

Pfizer-SAT2-3 - A basis for optimism — T

✍ N. Schooler 📂 Article 📅 1998 🏛 Elsevier Science 🌐 French ⚖ 218 KB

Concerning the maximum number of essenti

✍ Gómez-gonzález, Lorenzo 📂 Article 📅 1978 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 144 KB

Wieferich Primes and Period Lengths for

✍ Gene Garza and Jeff Young 📂 Article 📅 2004 🏛 Mathematical Association of America 🌐 English ⚖ 203 KB

Lilly-SAT3-3 - Treatment options for the

✍ Siegfried kasper 📂 Article 📅 1998 🏛 Elsevier Science 🌐 French ⚖ 121 KB

Comment on "A method for the selection o

✍ Friedman, Arthur D. 📂 Article 📅 1967 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 402 KB