✦ LIBER ✦

Satisfiability of co-nested formulas

✍ Scribed by Jan Kratochvíl; Mirko Křivánek

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimization and probabilistic satisfiab

✍ Daniele Pretolani 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 617 KB

Nested satisfiability

✍ Donald E. Knuth 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 English ⚖ 260 KB

Satisfiability of bright formulas

✍ A. S. Denisov 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 58 KB

The satisfiability problem in regular CN

✍ F. Manyà; R. Béjar; G. Escalada-Imaz 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 319 KB

On the conditional degree of satisfiabil

✍ M. I. Liogon'kii 📂 Article 📅 1969 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 484 KB

Satisfiable Formulas Closed Under Replac

✍ Hans Kleine Büning; Zhao Xishun 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 598 KB