Clause vivification by unit propagation in CDCL SAT solvers (Q2287199): Difference between revisions

@@ 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 @@
+Chaff
@@ Property / describes a project that uses: Chaff / 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 @@
+CryptoMiniSat
@@ Property / describes a project that uses: CryptoMiniSat / 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 @@
+MapleCOMSPS_LRB
@@ Property / describes a project that uses: MapleCOMSPS_LRB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+YalSAT
@@ Property / describes a project that uses: YalSAT / 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 @@
+satUZK
@@ Property / describes a project that uses: satUZK / 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 / OpenAlex ID @@
+W2989262635
@@ Property / OpenAlex ID: W2989262635 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.11061
@@ Property / arXiv ID: 1807.11061 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of theorem-proving procedures
@@ Property / cites work: The complexity of theorem-proving procedures / 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 @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Clause Strengthening
@@ Property / cites work: Concurrent Clause Strengthening / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental inprocessing in SAT solving
@@ Property / cites work: Incremental inprocessing in SAT solving / rank @@
+Normal rank
@@ Property / cites work @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+GRASP: a search algorithm for propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Q4473057
@@ Property / cites work: Q4473057 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient CNF Simplification Based on Binary Implication Graphs
+Normal rank
@@ Property / cites work @@
+Solving propositional satisfiability problems
@@ Property / cites work: Solving propositional satisfiability problems / 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 / Wikidata QID @@
+Q126834322
@@ Property / Wikidata QID: Q126834322 / rank @@
+Normal rank