✦ LIBER ✦

A Methodological View of Constraint Solving

✍ Scribed by Hubert Comon; Mehmet Dincbas; Jean-Pierre Jouannaud; Claude Kirchner

Book ID: 110282197
Publisher: Springer US
Year: 1999
Tongue: English
Weight: 479 KB
Volume: 4
Category: Article
ISSN: 1383-7133
DOI: 10.1023/a:1009868906501

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Neural Logic Constraint Solving

✍ A. Monfroglio 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 588 KB

Constraint Satisfaction Problems (CSPs) play a crucial role in Artificial Intelligence and in the real world. CSPs are in general NP-hard, and a general deterministic polynomial time algorithm is not known. CSPs can be reduced in polynomial time to the Satisfaction of a Conjunctive Normal Form (CNF-

A constrained view of constraints

✍ Thomas Getty 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 52 KB

Scientific methodology: A Feyerabendian

Scientific methodology: A Feyerabendian view

✍ Barry C. Newman 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 831 KB

Safety and liveness from a methodologica

Safety and liveness from a methodological point of view

✍ Frank Dederichs; Rainer Weber 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 485 KB

A Tool for the Integration of Constraint

A Tool for the Integration of Constraint Solving in Spreadsheets

✍ Ana María Fernández-Soriano; Julio Mariño; Ángel Herranz 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 505 KB

On solving a linear program with one qua

On solving a linear program with one quadratic constraint

✍ L. Martein; S. Schaible 📂 Article 📅 1987 🏛 Springer Milan 🌐 English ⚖ 519 KB