✦ LIBER ✦

Probabilistic satisfiability

✍ Scribed by George Georgakopoulos; Dimitris Kavvadias; Christos H Papadimitriou

Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 683 KB
Volume: 4
Category: Article
ISSN: 0885-064X
DOI: 10.1016/0885-064x(88)90006-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Satisfiability Problem for Probabili

The Satisfiability Problem for Probabilistic Ordered Branching Programs

✍ M. Agrawal; T. Thierauf 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 246 KB

Mixed-integer column generation algorith

Mixed-integer column generation algorithms and the probabilistic maximum satisfiability problem

✍ Pierre Hansen; Brigitte Jaumard; Marcus Poggi de Araga˜o 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 950 KB

The column generation approach to large-scale linear programming is extended to the mixed-integer case. Two general algorithms, a dual and a primal one, are presented. Both involve finding k-best solutions to combinatorial optimization subproblems. Algorithms for these subproblems must be tailored t

Probabilistic analysis of the Davis Putn

Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

✍ John Franco; Marvin Paull 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 624 KB

Correction to probabilistic analysis of

Correction to probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem

✍ John Franco; J.M. Plotkin; John W. Rosenthal 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 152 KB

Nested satisfiability

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

Satisfiability on hypergraphs

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