✦ LIBER ✦

The number of 3-SAT functions

✍ Scribed by L. Ilinca, J. Kahn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The number of 2-sat functions

✍ Béla Bollobás; Graham R. Brightwell; Imre Leader 📂 Article 📅 2003 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 784 KB

3-SAT = SAT for a class of normal modal

✍ Stéphane Demri 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 821 KB

The Frog of Horace, Sat. 1, 3

✍ E. S. Shuckburgh 📂 Article 📅 1901 🏛 Cambridge University Press 🌐 English ⚖ 276 KB

Random 3-SAT: The Plot Thickens

✍ Cristian Coarfa; Demetrios D. Demopoulos; Alfonso San Miguel Aguirre; Devika Sub 📂 Article 📅 2003 🏛 Springer US 🌐 English ⚖ 527 KB

Bounding the unsatisfiability threshold

✍ Svante Janson; Yannis C. Stamatiou; Malvina Vamvakari 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 136 KB 👁 2 views

Derandomizing the HSSW Algorithm for 3-S

✍ Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 462 KB