✦ LIBER ✦

The application of automated reasoning to formal models of combinatorial optimization

✍ Scribed by Paul Helman; Robert Veroff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Application of robust optimization to au

✍ Bernard P. Veldkamp 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 618 KB

An application of structural modeling an

✍ Shinichi Honiden; Naoshi Uchihira; Kazunori Matsumoto; Kazuo Matsumura; Masahiko 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 949 KB

On the applicability of nonmonotonic log

✍ Manny Rayner 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 837 KB

Effect of the implicit combinatorial mod

✍ Carmen Batanero; Virginia Navarro-Pelayo; Juan D. Godino 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 84 KB

Application of variable-fidelity models

✍ Lu Xia; Gao Zheng-hong 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 226 KB

A continuous approach to combinatorial o

✍ A. El Mouatasim; R. Ellaia; A. Al-Hossain 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 302 KB