✦ LIBER ✦

Nested satisfiability

✍ Scribed by Donald E. Knuth

Publisher: Springer-Verlag
Year: 1990
Tongue: English
Weight: 260 KB
Volume: 28
Category: Article
ISSN: 0001-5903
DOI: 10.1007/bf02983372

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Satisfiability of co-nested formulas

✍ Jan Kratochvíl; Mirko Křivánek 📂 Article 📅 1993 🏛 Springer-Verlag 🌐 English ⚖ 337 KB

Optimization and probabilistic satisfiab

Optimization and probabilistic satisfiability on nested and co-nested formulas

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

Probabilistic satisfiability

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

Satisfiability on hypergraphs

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

LTL satisfiability checking

✍ Kristin Y. Rozier; Moshe Y. Vardi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 888 KB

Generating hard satisfiability problems

✍ Bart Selman; David G. Mitchell; Hector J. Levesque 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 975 KB

We report results from large-scale experiments in satisfiability testing. As has been observed by others, testing the satisfiability of random formulas often appears surprisingly easy. Here we show that by using the right distribution of instances, and appropriate parameter values, it is possible to