Martins, Ruben; Manquinho, Vasco; Lynce, Inês An overview of parallel SAT solving. (English) Zbl 1309.90057 Constraints 17, No. 3, 304-347 (2012). MSC: 90C09 × Cite Format Result Cite Review PDF Full Text: DOI
Eggers, Andreas; Kalinnik, Natalia; Kupferschmid, Stefan; Teige, Tino 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 × Cite Format Result Cite Review PDF Full Text: DOI
Chrabakh, Wahid; Wolski, Rich GridSAT: Design and implementation of a computational grid application. (English) Zbl 1099.68503 J. Grid Comput. 4, No. 2, 177-193 (2006). MSC: 68M10 68T20 × Cite Format Result Cite Review PDF Full Text: DOI
Jurkowiak, Bernard; Li, Chu Min; Utard, Gil A parallelization scheme based on work stealing for a class of SAT solvers. (English) Zbl 1086.68118 J. Autom. Reasoning 34, No. 1, 73-101 (2005). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI