✦ LIBER ✦

Preservation of integrity constraints in definite DATALOG programs

✍ Scribed by Ke Wang; Li Yan Yuan

Publisher: Elsevier Science
Year: 1992
Tongue: English
Weight: 855 KB
Volume: 44
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(92)90083-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Unitary partitioning in general constrai

Unitary partitioning in general constraint preserving DAE integrators

✍ C. Arévalo; S.L. Campbell; M. Selva 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 810 KB

An example of integrating constraint pro

An example of integrating constraint programming and mathematical programming

✍ Susanne Heipcke 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 17 KB

This paper describes an integration of finite domain constraint programming techniques into mathematical programming, with an implementation of this new solution approach based on a commercial linear mixed-integer tool and a finite domain CP solver over unions of integer intervals. The combined mode

On the preservation off constraints in p

On the preservation off constraints in pole expansions for integrable partial differential equations

✍ Robert L. Sachs 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 174 KB

The interaction of integrity constraints

The interaction of integrity constraints in an information system

✍ Jan Paredaens 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 924 KB

Aggregation of constraints in integer pr

Aggregation of constraints in integer programming

✍ Balasubramanian Ram; Mark H. Karwan; A.J.G. Babu 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 783 KB

Stabilization of constraints and integra

Stabilization of constraints and integrals of motion in dynamical systems

✍ J. Baumgarte 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 980 KB