✦ LIBER ✦

GridSAT: a system for solving satisfiability problems using a computational grid

✍ Scribed by Wahid Chrabakh; Rich Wolski

Publisher: Elsevier Science
Year: 2006
Tongue: English
Weight: 316 KB
Volume: 32
Category: Article
ISSN: 0167-8191
DOI: 10.1016/j.parco.2006.01.004

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A computational method for solving singu

A computational method for solving singular perturbation problems

✍ J. Jayakumar; N. Ramanujam 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 881 KB

On a computational algorithm for solving

On a computational algorithm for solving game control problems

✍ A.M. Taras'yev; V.N. Ushakov; A.P. Khripunov 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 532 KB

A computational method for solving singu

A computational method for solving singular perturbation problems using fourth order finite differences

✍ Kadalbajoo, Mohan K. ;Reddy, Y. N. 📂 Article 📅 1986 🏛 Wiley (John Wiley & Sons) 🌐 English ⚖ 379 KB

Refining problem-solving knowledge in re

Refining problem-solving knowledge in repertory grids using a consultation mechanism

✍ David B. Shema; John H. Boose 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 761 KB

A general problem when modifying knowledge bases is that changes may degrade system performance. This is especially a problem when the knowledge base is large; it may be unclear how changing one item in a knowledge base containing thousands of items will affect overall system performance. Aquinas, a

A computational method for solving singu

A computational method for solving singular perturbation problems using exponentially fitted finite difference schemes

✍ K. Selvakumar 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 828 KB

A replicated file system for Grid comput

A replicated file system for Grid computing

✍ Jiaying Zhang; Peter Honeyman 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 467 KB 👁 1 views