SATenstein: automatically building local search SAT solvers from components (Q2634473): Difference between revisions

@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NiVER
@@ Property / describes a project that uses: NiVER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / 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 @@
+PicoSAT
@@ Property / describes a project that uses: PicoSAT / 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 @@
+SAT competition
@@ Property / describes a project that uses: SAT competition / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMAC
@@ Property / describes a project that uses: SMAC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UBCSAT
@@ Property / describes a project that uses: UBCSAT / 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.1016/j.artint.2015.11.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2185085875
@@ Property / OpenAlex ID: W2185085875 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59585890
@@ Property / Wikidata QID: Q59585890 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2634473