✦ LIBER ✦

Probabilistic analysis of the pure literal heuristic for the satisfiability problem

✍ Scribed by John Franco

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Probabilistic Analysis of a Heuristi

✍ Avis, David; Lai, C. W. 📂 Article 📅 1988 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 850 KB

Probabilistic analysis of the Davis Putn

✍ John Franco; Marvin Paull 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 624 KB

The Satisfiability Problem for Probabili

✍ M. Agrawal; T. Thierauf 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 246 KB

An effective heuristic algorithm for the

✍ Mohamed El Bachir Menaï; Mohamed Batouche 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 614 KB

On the probabilistic performance of algo

✍ John Franco 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 278 KB

Probabilistic bounds and algorithms for

✍ Endre Boros; András Prékopa 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 879 KB