✦ LIBER ✦

An Overview of Backtrack Search Satisfiability Algorithms

✍ Scribed by Inês Lynce; João P. Marques-Silva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Statistical physics analysis of the comp

✍ S. Cocco; R. Monasson 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 528 KB

An algorithm based on tabu search for sa

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

The variants of the harmony search algor

✍ Osama Moh’d Alia; Rajeswari Mandava 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 605 KB

Overview of registries, HLA typing and d

✍ C. K. Hurley; M. Maiers; S. G. E. Marsh; M. Oudshoorn 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 73 KB

Comparing the performance of the genetic

✍ Yousef Kilani 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 330 KB

An acceleration of gradient descent algo

✍ Neculai Andrei 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 245 KB