✦ LIBER ✦

Elimination of Infrequent Variables Improves Average Case Performance of Satisfiability Algorithms

✍ Scribed by Franco, John

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Average-case analysis of Robinson's unif

✍ R. Casas; J. Diaz; J.M. Steyaert 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 614 KB

Average and worst-case performance of Pa

✍ Marek Kubale 📂 Article 📅 1985 🏛 Springer-Verlag 🌐 English ⚖ 558 KB

Average-Case Performance Analysis of a 2

✍ Xiaodong Gu; Guoliang Chen; Yinlong Xu 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 123 KB

Variable step-size Griffiths’ algorithm

✍ S. V. Narasimhan; S. Veena; H. Lokesha 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 557 KB

Uninformative variable elimination for i

✍ Wu, Di; Chen, Xiaojing; Zhu, Xiangou; Guan, Xiaochun; Wu, Guichu 📂 Article 📅 2011 🏛 The Royal Society of Chemistry 🌐 English ⚖ 274 KB

[Lecture Notes in Computer Science] Arti

✍ Hao, Jin-Kao; Legrand, Pierrick; Collet, Pierre; Monmarché, Nicolas; Lutton, Eve 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 231 KB