✦ LIBER ✦

Two tractable subclasses of minimal unsatisfiable formulas

✍ Scribed by Xishun Zhao; Decheng Ding

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Minimal non-two-colorable hypergraphs an

✍ Ron Aharoni; Nathan Linial 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 502 KB

The Complexity of Homomorphisms and Rena

✍ Hans Kleine Büning; Daoyun Xu 📂 Article 📅 2005 🏛 Springer Netherlands 🌐 English ⚖ 150 KB

The complexity of homomorphisms and rena

✍ Hans Kleine Büning; Daoyun Xu 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 165 KB

Minimal cubature formulae of degree 2k−1

✍ Ronald Cools; Hans Joachim Schmid 📂 Article 📅 1989 🏛 Springer Vienna 🌐 English ⚖ 633 KB