✦ LIBER ✦

Logic programming for combinatorial problems

✍ Scribed by Toshinori Munakata; Roman Barták

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic-programming specification and exec

✍ W.F. Clocksin 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

Finite checkability for integer rounding

✍ S. Baum; L. E. Trotter 📂 Article 📅 1982 🏛 Springer-Verlag 🌐 English ⚖ 339 KB

Tableaux for logic programming

✍ Melvin Fitting 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 1016 KB

Quadratic programming and combinatorial

✍ Walter Kern; Gerhard Woeginger 📂 Article 📅 2006 🏛 Springer-Verlag 🌐 English ⚖ 167 KB

Meta-logic programming for a synonymy lo

✍ Daniele Genito; Giangiacomo Gerla; Alessandro Vignes 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 402 KB

Industrial linear optimization problems

✍ R. Bisdorff; S. Laurent 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 1007 KB