✦ LIBER ✦

An optimization approach for the satisfiability problem

✍ Scribed by Noureddine, S.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modified extremal optimization for the h

✍ Guo-qiang Zeng; Yong-zai Lu; Wei-Jie Mao 📂 Article 📅 2011 🏛 SP Zhejiang University Press 🌐 English ⚖ 568 KB

An efficient algorithm for the 3-satisfi

✍ Alain Billionnet; Alain Sutter 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 543 KB

Solving the satisfiability problem by us

✍ L.C. Wu; C.Y. Tang 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 323 KB

Genetic-fuzzy approach to the Boolean sa

✍ Pedrycz, W.; Succi, G.; Shai, O. 📂 Article 📅 2002 🏛 IEEE 🌐 English ⚖ 429 KB

An effective heuristic algorithm for the

✍ Mohamed El Bachir Menaï; Mohamed Batouche 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 614 KB

An improved semidefinite programming rel

✍ Miguel F. Anjos 📂 Article 📅 2004 🏛 Springer-Verlag 🌐 English ⚖ 203 KB