Combining SAT solvers with computer algebra systems to verify combinatorial conjectures (Q2360872): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-016-9396-y
@@ Property / DOI: 10.1007/s10817-016-9396-y / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+FFTW
@@ Property / describes a project that uses: FFTW / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+z3
@@ Property / describes a project that uses: z3 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CPGraph
@@ Property / describes a project that uses: CPGraph / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CVC4
@@ Property / describes a project that uses: CVC4 / 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 @@
+DRAT-trim
@@ Property / describes a project that uses: DRAT-trim / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+sharpSAT
@@ Property / describes a project that uses: sharpSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10817-016-9396-y
+Normal rank
@@ Property / OpenAlex ID @@
+W2558199011
@@ Property / OpenAlex ID: W2558199011 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q123112521
@@ Property / Wikidata QID: Q123112521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard matrices and their applications
@@ Property / cites work: Hadamard matrices and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+The Magma algebra system. I: The user language
@@ Property / cites work: The Magma algebra system. I: The user language / rank @@
+Normal rank
@@ Property / cites work @@
+MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
+Normal rank
@@ Property / cites work @@
+Q3411976
@@ Property / cites work: Q3411976 / rank @@
+Normal rank
@@ Property / cites work @@
+Exploiting Symmetry in SMT Problems
@@ Property / cites work: Exploiting Symmetry in SMT Problems / rank @@
+Normal rank
@@ Property / cites work @@
+CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
+Normal rank
@@ Property / cites work @@
+Fundamentals of parameterized complexity
@@ Property / cites work: Fundamentals of parameterized complexity / 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 @@
+On hypercube labellings and antipodal monochromatic paths
+Normal rank
@@ Property / cites work @@
+Perfect matchings extend to Hamilton cycles in hypercubes
+Normal rank
@@ Property / cites work @@
+Connectivity of Matching Graph of Hypercube
@@ Property / cites work: Connectivity of Matching Graph of Hypercube / rank @@
+Normal rank
@@ Property / cites work @@
+A Decision Procedure for Bit-Vectors and Arrays
@@ Property / cites work: A Decision Procedure for Bit-Vectors and Arrays / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo Graphs: Acyclicity
@@ Property / cites work: SAT Modulo Graphs: Acyclicity / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect matchings extending on subcubes to Hamiltonian cycles of hypercubes
+Normal rank
@@ Property / cites work @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Poly-logarithmic deterministic fully-dynamic algorithms for connectivity, minimum spanning tree, 2-edge, and biconnectivity
+Normal rank
@@ Property / cites work @@
+Engineering an Efficient Canonical Labeling Tool for Large and Sparse Graphs
+Normal rank
@@ Property / cites work @@
+A SAT Attack on the Erdős Discrepancy Conjecture
@@ Property / cites work: A SAT Attack on the Erdős Discrepancy Conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard ideals and Hadamard matrices with two circulant cores
+Normal rank
@@ Property / cites work @@
+Hadamard matrices of the Williamson type of order 4\(\cdot m\), \(m=p\cdot q\) an exhaustive search for \(m=33\)
+Normal rank
@@ Property / cites work @@
+Alloy*: a general-purpose higher-order relational constraint solver
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+Williamson matrices of order \(4n\) for \(n = 33, 35, 39\)
+Normal rank
@@ Property / cites work @@
+Compression of periodic complementary sequences and applications
+Normal rank
@@ Property / cites work @@
+On Orthogonal Matrices
@@ Property / cites work: On Orthogonal Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Hamilton Cycles that Extend Transposition Matchings in Cayley Graphs of $S_n $
+Normal rank
@@ Property / cites work @@
+Q4068734
@@ Property / cites work: Q4068734 / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental SAT-Based Method with Native Boolean Cardinality Handling for the Hamiltonian Cycle Problem
+Normal rank
@@ Property / cites work @@
+DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
+Normal rank
@@ Property / cites work @@
+Hadamard's determinant theorem and the sum of four squares
+Normal rank
@@ Property / cites work @@
+Q4244407
@@ Property / cites work: Q4244407 / rank @@
+Normal rank
@@ Property / cites work @@
+MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
+Normal rank
@@ Property / DOI @@
+.1007/S10817-016-9396-Y
@@ Property / DOI: 10.1007/S10817-016-9396-Y / rank @@
+Normal rank