✦ LIBER ✦

Computational complexity of linear constraints over the integers

✍ Scribed by Jonsson, Peter; Lööw, Tomas

Book ID: 122915394
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 346 KB
Volume: 195
Category: Article
ISSN: 0004-3702
DOI: 10.1016/j.artint.2012.10.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Complexity of Clausal Constraints Over C

Complexity of Clausal Constraints Over Chains

✍ Nadia Creignou; Miki Hermann; Andrei Krokhin; Gernot Salzer 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 358 KB

Complexity of Clausal Constraints Over C

Complexity of Clausal Constraints Over Chains

✍ Creignou, Nadia; Hermann, Miki; Krokhin, Andrei; Salzer, Gernot 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 351 KB

The complexity of membership problems fo

The complexity of membership problems for circuits over sets of integers

✍ Stephen Travers 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 289 KB

Computational complexity of parametric l

Computational complexity of parametric linear programming

✍ Katta G. Murty 📂 Article 📅 1980 🏛 Springer-Verlag 🌐 English ⚖ 408 KB

Symbolic model checking of extended fini

Symbolic model checking of extended finite state machines with linear constraints over integer variables

✍ Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 338 KB

## Abstract We propose a symbolic model checking algorithm for a class of extended finite state machines equipped with integer variables (FSM/int). An FSM/int has several constraints on variable assignments, such as a variable of FSM/int keeps its value until the control visits at the definition tr

Computational complexity of sentences ov

Computational complexity of sentences over fields

✍ Shih Ping Tung 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 260 KB