✦ LIBER ✦

Hard satisfiable instances for DPLL-type algorithms

✍ Scribed by S. I. Nikolenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A two-phase algorithm for solving a clas

✍ Joost P. Warners; Hans van Maaren 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 125 KB

A satisfiability algorithm and average-c

✍ Seto, Kazuhisa; Tamaki, Suguru 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 343 KB

Switch-Type Hybrid Hard Decision Decodin

✍ Gong Chen; Liu Qi; Cui Huijuan; Tang Kun 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 444 KB