✦ LIBER ✦

Stochastic Systematic Search Algorithms for Satisfiability

✍ Scribed by I. Lynce; L. Baptista; J. Marques-Silva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Overview of Backtrack Search Satisfia

✍ Inês Lynce; João P. Marques-Silva 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 146 KB

Planning as satisfiability: parallel pla

✍ Jussi Rintanen; Keijo Heljanko; Ilkka Niemelä 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 803 KB

Algorithms for Testing Satisfiability Fo

✍ Marin Vlada 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 78 KB

New algorithms for Exact Satisfiability

✍ Jesper Makholm Byskov; Bolette Ammitzbøll Madsen; Bjarke Skjernaa 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 361 KB

An algorithm based on tabu search for sa

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

Satisfiability-Based Algorithms for Bool

✍ Vasco M. Manquinho; João P. Marques-Silva 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 136 KB