𝔖 Bobbio Scriptorium
✦   LIBER   ✦

New results on the equivalence between zero-one programming and continuous concave programming

✍ Scribed by Francesco Rinaldi


Book ID
107402546
Publisher
Springer-Verlag
Year
2009
Tongue
English
Weight
145 KB
Volume
3
Category
Article
ISSN
1862-4472

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On the Equivalence of Recursive and Nonr
✍ Surajit Chaudhuri; Moshe Y Vardi πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 591 KB

We study the problem of determining whether a given recursive Datalog program is equivalent to a given nonrecursive Datalog program. Since nonrecursive Datalog programs are equivalent to unions of conjunctive queries, we study also the problem of determining whether a given recursive Datalog program