Decentralized Online Scheduling of Malleable NP-hard Jobs (Q6487361): Difference between revisions

@@ Property / cites work @@
+Sorting in \(c \log n\) parallel steps
@@ Property / cites work: Sorting in \(c \log n\) parallel steps / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Massively Parallel Sorting
@@ Property / cites work: Robust Massively Parallel Sorting / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / rank @@
+Normal rank
@@ Property / cites work @@
+SAT competition 2020
@@ Property / cites work: SAT competition 2020 / rank @@
+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 @@
+Languages and Compilers for Parallel Computing
@@ Property / cites work: Languages and Compilers for Parallel Computing / 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 @@
+Sequential and Parallel Algorithms and Data Structures
+Normal rank
@@ Property / cites work @@
+Lilotane: A Lifted SAT-based Approach to Hierarchical Planning
+Normal rank
@@ Property / cites work @@
+Scalable SAT solving in the cloud
@@ Property / cites work: Scalable SAT solving in the cloud / rank @@
+Normal rank