✦ LIBER ✦

GRASP: a search algorithm for propositional satisfiability

✍ Scribed by Marques-Silva, J.P.; Sakallah, K.A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algorithms for testing the satisfiabilit

✍ Giorgio Gallo; Giampaolo Urbani 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 590 KB

Stochastic Systematic Search Algorithms

✍ I. Lynce; L. Baptista; J. Marques-Silva 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 640 KB

A note on Dowling and Gallier's top-down

✍ Maria Grazia Scutellà 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 520 KB

An algorithm based on tabu search for sa

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

Probabilistic GRASP-Tabu Search algorith

✍ Wang, Yang; Lü, Zhipeng; Glover, Fred; Hao, Jin-Kao 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 261 KB

Planning as satisfiability: parallel pla

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