✦ LIBER ✦

An effective heuristic algorithm for the maximum satisfiability problem

✍ Scribed by Mohamed El Bachir Menaï; Mohamed Batouche

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An efficient algorithm for the 3-satisfi

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

MaxSolver: An efficient exact algorithm

✍ Zhao Xing; Weixiong Zhang 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 327 KB

A dual algorithm for the satisfiability

✍ Yoshihiro Tanaka 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 647 KB

An algorithm based on tabu search for sa

✍ Wenqi Huang; Defu Zhang; Houxiang Wang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 550 KB

An heuristic algorithm for the productio

✍ J.M. Gutiérrez; V. Mata 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 783 KB

An exact algorithm for the maximum cliqu

✍ Randy Carraghan; Panos M. Pardalos 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 358 KB