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

@@ Property / cites work @@
+Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
+Normal rank
@@ Property / cites work @@
+SAT race 2015
@@ Property / cites work: SAT race 2015 / rank @@
+Normal rank
@@ Property / cites work @@
+HordeSat: A Massively Parallel Portfolio SAT Solver
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+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 @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+Speeding up assumption-based SAT
@@ Property / cites work: Speeding up assumption-based SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Trail saving on backtrack
@@ Property / cites work: Trail saving on backtrack / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Resource-Unaware SAT Solvers
@@ Property / cites work: Improving Resource-Unaware SAT Solvers / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+Empirical Study of the Anatomy of Modern Sat Solvers
+Normal rank
@@ Property / cites work @@
+Improving implementation of SAT competitions 2017--2019 winners
+Normal rank
@@ Property / cites work @@
+SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
+Normal rank
@@ Property / cites work @@
+Open-WBO: A Modular MaxSAT Solver,
@@ Property / cites work: Open-WBO: A Modular MaxSAT Solver, / rank @@
+Normal rank
@@ Property / cites work @@
+Chronological backtracking
@@ Property / cites work: Chronological backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
+Normal rank
@@ Property / cites work @@
+Q2786914
@@ Property / cites work: Q2786914 / 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