\texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644): Difference between revisions

@@ Property / describes a project that uses @@
+BerkMin
@@ Property / describes a project that uses: BerkMin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Jerusat
@@ Property / describes a project that uses: Jerusat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PBS
@@ Property / describes a project that uses: PBS / 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 @@
+March_eq
@@ Property / describes a project that uses: March_eq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Walksat
@@ Property / describes a project that uses: Walksat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DIMACS
@@ Property / describes a project that uses: DIMACS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Velev SAT Benchmarks
@@ Property / describes a project that uses: Velev SAT Benchmarks / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Shatter
@@ Property / describes a project that uses: Shatter / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATO
@@ Property / describes a project that uses: SATO / 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/s10601-008-9060-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2003590658
@@ Property / OpenAlex ID: W2003590658 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715680
@@ Property / cites work: Q5715680 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of cutting-plane proofs
@@ Property / cites work: On the complexity of cutting-plane proofs / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715690
@@ Property / cites work: Q5715690 / rank @@
+Normal rank
@@ Property / cites work @@
+An accurate and scalable collaborative recommender
+Normal rank
@@ Property / cites work @@
+Q4475624
@@ Property / cites work: Q4475624 / rank @@
+Normal rank
@@ Property / cites work @@
+STRIPS: A new approach to the application of theorem proving to problem solving
+Normal rank
@@ Property / cites work @@
+Q4475622
@@ Property / cites work: Q4475622 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2003
+Normal rank
@@ Property / cites work @@
+BerkMin: A fast and robust SAT-solver
@@ Property / cites work: BerkMin: A fast and robust SAT-solver / rank @@
+Normal rank
@@ Property / cites work @@
+The intractability of resolution
@@ Property / cites work: The intractability of resolution / 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 @@
+Q4273947
@@ Property / cites work: Q4273947 / rank @@
+Normal rank
@@ Property / cites work @@
+Short proofs for tricky formulas
@@ Property / cites work: Short proofs for tricky formulas / 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 @@
+Q4707784
@@ Property / cites work: Q4707784 / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution cannot polynomially simulate compressed-BFS
+Normal rank
@@ Property / cites work @@
+Lower bounds for resolution and cutting plane proofs and monotone computations
+Normal rank
@@ Property / cites work @@
+Dynamic Lex Constraints
@@ Property / cites work: Dynamic Lex Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution lower bounds for the weak pigeonhole principle
+Normal rank
@@ Property / cites work @@
+Accelerating bounded model checking of safety properties
+Normal rank
@@ Property / cites work @@
+The symmetry rule in propositional logic
@@ Property / cites work: The symmetry rule in propositional logic / rank @@
+Normal rank
@@ Property / cites work @@
+Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors.
+Normal rank
@@ Property / cites work @@
+General Symmetry Breaking Constraints
@@ Property / cites work: General Symmetry Breaking Constraints / rank @@
+Normal rank