CCAnr: A Configuration Checking Based Local Search Solver for Non-random Satisfiability (Q3453204): Difference between revisions

@@ Property / cites work @@
+SAT competition
@@ Property / cites work: SAT competition / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Stochastic Local Search for SAT with a New Probability Distribution
+Normal rank
@@ Property / cites work @@
+Local search for Boolean satisfiability with configuration checking and subscore
+Normal rank
@@ Property / cites work @@
+Local search with edge weighting and configuration checking heuristics for minimum vertex cover
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / 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 @@
+Sparrow2Riss
@@ Property / describes a project that uses: Sparrow2Riss / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CCASat
@@ Property / describes a project that uses: CCASat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coprocessor
@@ Property / describes a project that uses: Coprocessor / 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-319-24318-4_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2182702718
@@ Property / OpenAlex ID: W2182702718 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3453204