Scalable SAT solving in the cloud (Q2118345): Difference between revisions

@@ Property / cites work @@
+HordeSat: A Massively Parallel Portfolio SAT Solver
+Normal rank
@@ Property / cites work @@
+Job scheduling strategies for parallel processing. IPPS '96 workshop, Honolulu, HI, USA, April 16, 1996. Proceedings
+Normal rank
@@ Property / cites work @@
+A high-performance, portable implementation of the MPI message passing interface standard
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed cube and conquer with Paracooba
@@ Property / cites work: Distributed cube and conquer with Paracooba / rank @@
+Normal rank
@@ Property / cites work @@
+Local search algorithms for SAT: an empirical evaluation
+Normal rank
@@ Property / cites work @@
+Q5789918
@@ Property / cites work: Q5789918 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical cryptanalysis as a SAT problem: Encoding and analysis of the U. S. Data Encryption Standard
+Normal rank
@@ Property / cites work @@
+Algorithms and Data Structures
@@ Property / cites work: Algorithms and Data Structures / rank @@
+Normal rank
@@ Property / cites work @@
+Solving SAT in a distributed cloud: a portfolio approach
+Normal rank
@@ Property / cites work @@
+Lilotane: A Lifted SAT-based Approach to Hierarchical Planning
+Normal rank
@@ Property / cites work @@
+Q3639754
@@ Property / cites work: Q3639754 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kissat
@@ Property / describes a project that uses: Kissat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paracooba
@@ Property / describes a project that uses: Paracooba / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MPI
@@ Property / describes a project that uses: MPI / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PaMiraXT
@@ Property / describes a project that uses: PaMiraXT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PaInleSS
@@ Property / describes a project that uses: PaInleSS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Splatz
@@ Property / describes a project that uses: Splatz / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ManySAT
@@ Property / describes a project that uses: ManySAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Plingeling
@@ Property / describes a project that uses: Plingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lingeling
@@ Property / describes a project that uses: Lingeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-030-80223-3_35
+Normal rank
@@ Property / OpenAlex ID @@
+W3184472707
@@ Property / OpenAlex ID: W3184472707 / rank @@
+Normal rank