An overview of parallel SAT solving. (English) Zbl 1309.90057
MSC:
90C09
Found 4 Documents (Results 1–4)
Challenges in constraint-based analysis of hybrid systems. (English) Zbl 1248.68328
Oddi, Angelo (ed.) et al., Recent advances in constraints. 13th annual ERCIM international workshop on constraint solving and constraint logic programming, CSCLP 2008, Rome, Italy, June 18–20, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03250-9/pbk). Lecture Notes in Computer Science 5655. Lecture Notes in Artificial Intelligence, 51-65 (2009).
MSC:
68Q60
68T15
GridSAT: Design and implementation of a computational grid application. (English) Zbl 1099.68503
J. Grid Comput. 4, No. 2, 177-193 (2006).
Filter Results by …
Document Type
- Journal Articles (3)
- Collection Articles (1)
all
top 5
Author
- Chrabakh, Wahid (1)
- Eggers, Andreas (1)
- Jurkowiak, Bernard (1)
- Kalinnik, Natalia (1)
- Kupferschmid, Stefan (1)
- Li, Chumin (1)
- Lynce, Inês (1)
- Manquinho, Vasco M. (1)
- Martins, Ruben (1)
- Teige, Tino (1)
- Utard, Gil (1)
- Wolski, Rich (1)
Serial
- J. Autom. Reasoning (1)
- Constraints (1)
all
top 3
Software
- Chaff (3)
- PSATO (3)
- SATO (3)
- BerkMin (2)
- GridSAT (2)
- NAGSAT (2)
- PaMira (2)
- PaSAT (2)
- UnitWalk (2)
- Walksat (2)
- ZetaSAT (2)
- ABsolver (1)
- BLAST (1)
- CryptoMiniSat (1)
- DIMACS (1)
- FOCI (1)
- Globus Toolkit (1)
- GrADS (1)
- GrADSAT (1)
- GridLab (1)
- HySAT (1)
- Lingeling (1)
- MPI (1)
- ManySAT (1)
- MathSAT (1)
- MiniSat (1)
- PMSat (1)
- PMiniSAT (1)
- PaMiraXT (1)
- PaQuBE (1)
- PicoSAT (1)
- Picoso (1)
- Plingeling (1)
- PrecoSAT (1)
- QMiraXT (1)
- SATLIB (1)
- SArTagnan (1)
- Sat4j (1)
- SatEx (1)
- Siege (1)
- Velev SAT Benchmarks (1)
- XtremWeb (1)
- antom (1)
- c-sat (1)
