✦ LIBER ✦

Verification problem for linear programs with Boolean arrays

✍ Scribed by A. G. Kostanyan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of Boolean programs with un

✍ Byron Cook; Daniel Kroening; Natasha Sharygina 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 381 KB

Boolean programming problems with fuzzy

✍ F. Herrera; J.L. Verdegay; H.-J. Zimmermann 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 438 KB

Stability of solutions in problems of Bo

✍ V.K. Leont'yev; K.Kh. Mamutov 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 386 KB

An algorithm for solving a class of prob

✍ A. V. Krushevskii; R. A. Polyak; M. E. Primak 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 442 KB

Some algorithms for the solution of part

✍ A. A. Panchenko 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 310 KB

Problem-oriented verification system and

✍ V.A. Nepomniaschy; A.A. Sulimov 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 819 KB