✦ LIBER ✦

On-line 2-satisfiability

✍ Scribed by Brigitte Jaumard; Paola Marchioro; Aurora Morgana; Rossella Petreschi; Bruno Simeone

Publisher: Springer Netherlands
Year: 1990
Tongue: English
Weight: 538 KB
Volume: 1
Category: Article
ISSN: 1012-2443
DOI: 10.1007/bf01531076

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Satisfiability on hypergraphs

✍ Adam Kolany 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 557 KB

Line rasterization algorithms that satis

Line rasterization algorithms that satisfy the subset line property

✍ M.L.P van Lierop; C.W.A.M van Overveld; H.M.M van de Wetering 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 1016 KB

In this paper two subset line properties are introduced; the difference concerns the domain of the end points of the line segments under consideration, viz. Q\* and Z\* respectively. For both properties, a recursive and a nonrecursive algorithm to generate raster line segments are derived. All algor

On the satisfiability of circumscription

✍ Vladimir Lifschitz 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 476 KB

Etherington, Mercer and Reiter showed, on the basis of ideas of Bossu and Siegel, that circumscription cannot lead to inconsistency for universal formulas. We extend this result in three directions: to formulas of a more general syntactic form, to circumscr~tion with some predicate symbols allowed t

Complete on Average Boolean Satisfiabili

Complete on Average Boolean Satisfiability

✍ Jie Wang 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 158 KB

Groups satisfying conditions on 2-genera

Groups satisfying conditions on 2-generator subgroups

✍ Longobardi, Partrizia ;Maj, Mercede 📂 Article 📅 1999 🏛 Springer-Verlag ⚖ 605 KB

Probabilistic satisfiability

✍ George Georgakopoulos; Dimitris Kavvadias; Christos H Papadimitriou 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 683 KB