✦ LIBER ✦

The covering and boundedness problems for branching vector addition systems

✍ Scribed by Stéphane Demri; Marcin Jurdziński; Oded Lachish; Ranko Lazić

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The boundedness problem for three-dimens

✍ Tat-Hung Chan 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 407 KB

The reachability problem for branching v

✍ Ranko Lazić 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 159 KB

Additive vector systems and the problem

✍ D. I. Kogan 📂 Article 📅 1971 🏛 Springer US 🌐 English ⚖ 173 KB

A branch-and-bound algorithm for the two

✍ Frits C.R. Spieksma 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 661 KB

Experiments with parallel branch-and-bou

✍ Russell A. Rushmeier; George L. Nemhauser 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 773 KB

On existence and essential components of

✍ Zhi Lin; Hui Yang; Jian Yu 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 125 KB