SAT competition 2020 (Q2060693): Difference between revisions

@@ Property / cites work @@
+Q5148371
@@ Property / cites work: Q5148371 / 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 @@
+SAT competition 2020
@@ Property / cites work: SAT competition 2020 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT race 2015
@@ Property / cites work: SAT race 2015 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultimately Incremental SAT
@@ Property / cites work: Ultimately Incremental SAT / 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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+Planning as satisfiability: parallel plans and algorithms for plan search
+Normal rank
@@ Property / cites work @@
+Q3624014
@@ Property / cites work: Q3624014 / rank @@
+Normal rank
@@ Property / cites work @@
+Determining computational complexity from characteristic ‘phase transitions’
+Normal rank
@@ Property / cites work @@
+Algorithms for computing backbones of propositional formulae
+Normal rank
@@ Property / cites work @@
+PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
+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 @@
+Between SAT and UNSAT: The Fundamental Difference in CDCL SAT
+Normal rank
@@ Property / cites work @@
+Learning Rate Based Branching Heuristic for SAT Solvers
+Normal rank
@@ Property / cites work @@
+Chronological backtracking
@@ Property / cites work: Chronological backtracking / rank @@
+Normal rank
@@ Property / cites work @@
+CrystalBall: gazing in the black box of SAT solving
+Normal rank
@@ Property / cites work @@
+Clause vivification by unit propagation in CDCL SAT solvers
+Normal rank
@@ Property / cites work @@
+Truth Assignments as Conditional Autarkies
@@ Property / cites work: Truth Assignments as Conditional Autarkies / rank @@
+Normal rank
@@ Property / cites work @@
+Designing new phase selection heuristics
@@ Property / cites work: Designing new phase selection heuristics / rank @@
+Normal rank
@@ Property / cites work @@
+Tinted, detached, and lazy CNF-XOR solving and its applications to counting and sampling
+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 @@
+Trail saving on backtrack
@@ Property / cites work: Trail saving on backtrack / rank @@
+Normal rank
@@ Property / cites work @@
+HordeSat: A Massively Parallel Portfolio SAT Solver
+Normal rank
@@ Property / cites work @@
+Concurrent Clause Strengthening
@@ Property / cites work: Concurrent Clause Strengthening / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Clause Exchange Policy for Parallel SAT Solvers
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+Scalable SAT solving in the cloud
@@ Property / cites work: Scalable SAT solving in the cloud / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29--April 6, 2008. Proceedings
+Normal rank