Preprocessing of propagation redundant clauses (Q2104502): Difference between revisions

@@ Property / describes a project that uses @@
+CaDiCaL
@@ Property / describes a project that uses: CaDiCaL / 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 @@
+SaDiCaL
@@ Property / describes a project that uses: SaDiCaL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / 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-031-10769-6_8
+Normal rank
@@ Property / OpenAlex ID @@
+W4289104012
@@ Property / OpenAlex ID: W4289104012 / rank @@
+Normal rank
@@ Property / cites work @@
+Mutilated chessboard problem is exponentially hard for resolution
+Normal rank
@@ Property / cites work @@
+Community Structure in Industrial SAT Instances
@@ Property / cites work: Community Structure in Industrial SAT Instances / rank @@
+Normal rank
@@ Property / cites work @@
+Narrow Proofs May Be Maximally Long
@@ Property / cites work: Narrow Proofs May Be Maximally Long / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating CDCL Variable Scoring Schemes
@@ Property / cites work: Evaluating CDCL Variable Scoring Schemes / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Static Symmetry Breaking for SAT
@@ Property / cites work: Improved Static Symmetry Breaking for SAT / 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 / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Expressing Symmetry Breaking in DRAT Proofs
@@ Property / cites work: Expressing Symmetry Breaking in DRAT Proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs without new variables
@@ Property / cites work: Short proofs without new variables / rank @@
+Normal rank
@@ Property / cites work @@
+Strong extension-free proof systems
@@ Property / cites work: Strong extension-free proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Non-uniqueness of minimal superpermutations
@@ Property / cites work: Non-uniqueness of minimal superpermutations / rank @@
+Normal rank
@@ Property / cites work @@
+Super-Blocked Clauses
@@ Property / cites work: Super-Blocked Clauses / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+\texttt{cake\_lpr}: verified propagation redundancy checking in CakeML
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2104502