✦ LIBER ✦

An incremental algorithm for computing ranked full disjunctions

✍ Scribed by Sara Cohen; Yehoshua Sagiv

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An algorithm for disjunctive programs

✍ Nicholas Beaumont 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 635 KB

An Incremental Distributed Algorithm for

✍ B. Swaminathan; K. J. Goldman 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 211 KB

An Arnoldi-type algorithm for computing

✍ G. H. Golub; C. Greif 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 733 KB

Low-rank incremental methods for computi

✍ C.G. Baker; K.A. Gallivan; P. Van Dooren 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 782 KB

An incremental mining algorithm for high

✍ Chun-Wei Lin; Guo-Cheng Lan; Tzung-Pei Hong 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 350 KB

An Incremental Algorithm for the Maximum

✍ S. Kumar; P. Gupta 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 129 KB