✦ LIBER ✦

A fast pseudo-Boolean constraint solver

✍ Scribed by Chai, D.; Kuehlmann, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A fast direct solver for elliptic proble

✍ Janne Martikainen; Tuomo Rossi; Jari Toivanen 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 207 KB

A reactive and hybrid constraint solver

✍ Monfroy, Eric; Castro, Carlos; Crawford, Broderick; Soto, Ricardo; Paredes, Fern 📂 Article 📅 2013 🏛 Taylor and Francis Group 🌐 English ⚖ 287 KB

A fast Poisson solver

✍ A. Onana; S. Y. Kwankam; E. Zoue 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 411 KB

A correct rule-based geometric constrain

✍ R. Joan-Arinyo; A. Soto 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 999 KB

LINCS: A linear constraint solver for mo

✍ Hess, Berk; Bekker, Henk; Berendsen, Herman J. C.; Fraaije, Johannes G. E. M. 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 174 KB 👁 2 views

Randomized constraint solvers: a compara

✍ Mitsuo Takaki; Diego Cavalcanti; Rohit Gheyi; Juliano Iyoda; Marcelo d’Amorim; R 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 904 KB