121 search results - page 1 / 25 » GridSAT: a system for solving satisfiability problems using ... |
PC
2006
13 years 11 months ago
2006
In this paper, we present GridSAT
SC
2003
ACM
14 years 4 months ago
2003
ACM
We present GridSAT, a parallel and complete satisfiability solver designed to solve non-trivial SAT problem instances using a large number of widely distributed and heterogeneous...
JAL
2008
13 years 11 months ago
2008
Biological systems are far more complex and robust than systems we can engineer today. One way to increase the complexity and robustness of our engineered systems is to study how ...
GCC
2003
Springer
14 years 4 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
BICOB
2010
Springer
14 years 4 months ago
2010
Springer
We present a grid-enabled problem solving environment (PSE), for multidimensional QTL analysis. The concept of a computational grid has not been fully realized within this and oth...