✦ LIBER ✦

A propositional theorem prover to solve planning and other problems

✍ Scribed by Allen Van Gelder; Fumiaki Okushi

Book ID: 110380716
Publisher: Springer Netherlands
Year: 1999
Tongue: English
Weight: 171 KB
Volume: 26
Category: Article
ISSN: 1012-2443
DOI: 10.1023/a:1018998610179

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

PSATO: a Distributed Propositional Prove

PSATO: a Distributed Propositional Prover and its Application to Quasigroup Problems

✍ HANTAO ZHANG; MARIA PAOLA BONACINA; JIEH HSIANG 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 593 KB

We present a distributed/parallel prover for propositional satisfiability (SAT), called PSATO, for networks of workstations. PSATO is based on the sequential SAT prover SATO, which is an efficient implementation of the Davis-Putnam algorithm. The masterslave model is used for communication. A simple

A Technique to Analytically Formulate an

A Technique to Analytically Formulate and to Solve the 2-Dimensional Constrained Trajectory Planning Problem for a Mobile Robot

✍ Paolo Gallina; Alessandro Gasparetto 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 151 KB