✦ LIBER ✦

Guided Local Search for Solving SAT and Weighted MAX-SAT Problems

✍ Scribed by Patrick Mills; Edward Tsang

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Solving weighted MAX-SAT via global equi

✍ Oleg V. Shylo; Oleg A. Prokopyev; Vladimir P. Shylo 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 251 KB

A Two-Phase Exact Algorithm for MAX-SAT

✍ Brian Borchers; Judith Furman 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 31 KB

The parameterized complexity of -flip lo

✍ Stefan Szeider 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 225 KB

Scatter Search and Genetic Algorithms fo

✍ Dalila Boughaci; Belaïd Benhamou; Habiba Drias 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 378 KB

Efficient branch-and-bound algorithms fo

✍ Toshihide Ibaraki; Takashi Imamichi; Yuichi Koga; Hiroshi Nagamochi; Koji Nonobe 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 509 KB

Quasiphysical and quasisociological algo

✍ Wenqi Huang; Renchao Jin 📂 Article 📅 1999 🏛 SP Science China Press 🌐 English ⚖ 559 KB