The \textsc{MergeSat} solver (Q2118329): Difference between revisions

@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple_LCM_Dist_ChronoBT
@@ Property / describes a project that uses: Maple_LCM_Dist_ChronoBT / 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 @@
+PrecoSAT
@@ Property / describes a project that uses: PrecoSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CBMC
@@ Property / describes a project that uses: CBMC / 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 @@
+MapleCOMSPS
@@ Property / describes a project that uses: MapleCOMSPS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MapleCOMSPS_LRB
@@ Property / describes a project that uses: MapleCOMSPS_LRB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paramils
@@ Property / describes a project that uses: Paramils / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Valgrind
@@ Property / describes a project that uses: Valgrind / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Treengeling
@@ Property / describes a project that uses: Treengeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HordeSat
@@ Property / describes a project that uses: HordeSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COMiniSatPS
@@ Property / describes a project that uses: COMiniSatPS / 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_27
+Normal rank
@@ Property / OpenAlex ID @@
+W3184772779
@@ Property / OpenAlex ID: W3184772779 / rank @@
+Normal rank