✦ LIBER ✦

Adaptive memory-based local search for MAX-SAT

✍ Scribed by Zhipeng Lü; Jin-Kao Hao

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Guided Local Search for Solving SAT and

✍ Patrick Mills; Edward Tsang 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 89 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

Local Search Algorithms for SAT: An Empi

✍ Holger H. Hoos; Thomas Stützle 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 494 KB

Adaptive memory programming: local searc

✍ Jacek Blazewicz; Piotr Formanowicz; Pawel Kedziora; Pawel Marciniak; Przemyslaw 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 458 KB

An improved deterministic local search a

✍ Tobias Brueggemann; Walter Kern 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 222 KB