The SAT+CAS method for combinatorial search with applications to best matrices (Q2294574): Difference between revisions

@@ Property / describes a project that uses @@
+Yices
@@ Property / describes a project that uses: Yices / 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 @@
+STP
@@ Property / describes a project that uses: STP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathCheck
@@ Property / describes a project that uses: MathCheck / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mathematica
@@ Property / describes a project that uses: Mathematica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lynx
@@ Property / describes a project that uses: Lynx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / 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 @@
+tawSolver
@@ Property / describes a project that uses: tawSolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2921963619
@@ Property / OpenAlex ID: W2921963619 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04987
@@ Property / arXiv ID: 1907.04987 / rank @@
+Normal rank
@@ Property / cites work @@
+Building Bridges between Symbolic Computation and Satisfiability Checking
+Normal rank
@@ Property / cites work @@
+$$\mathsf {SC}^\mathsf{2} $$ : Satisfiability Checking Meets Symbolic Computation
+Normal rank
@@ Property / cites work @@
+On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational excursions in analysis and number theory
+Normal rank
@@ Property / cites work @@
+The SAT+CAS method for combinatorial search with applications to best matrices
+Normal rank
@@ Property / cites work @@
+MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures
+Normal rank
@@ Property / cites work @@
+Enumeration of Complex Golay Pairs via Programmatic SAT
+Normal rank
@@ Property / cites work @@
+Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT
+Normal rank
@@ Property / cites work @@
+Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
+Normal rank
@@ Property / cites work @@
+Formal Methods for Hardware Verification
@@ Property / cites work: Formal Methods for Hardware Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Complex Golay sequences: Structure and applications
+Normal rank
@@ Property / cites work @@
+Skew-Hadamard matrices of orders 188 and 388 exist
+Normal rank
@@ Property / cites work @@
+Supplementary difference sets with symmetry for Hadamard matrices
+Normal rank
@@ Property / cites work @@
+Compression of periodic complementary sequences and applications
+Normal rank
@@ Property / cites work @@
+Goethals-Seidel difference families with symmetric or skew base blocks
+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 @@
+Small Golay sequences
@@ Property / cites work: Small Golay sequences / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect matchings extend to Hamilton cycles in hypercubes
+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 @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On circulant best matrices and their applications
@@ Property / cites work: On circulant best matrices and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+A skew Hadamard matrix of order 36
@@ Property / cites work: A skew Hadamard matrix of order 36 / rank @@
+Normal rank
@@ Property / cites work @@
+The Search for Hadamard Matrices
@@ Property / cites work: The Search for Hadamard Matrices / 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 @@
+Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
+Normal rank
@@ Property / cites work @@
+Williamson matrices up to order 59
@@ Property / cites work: Williamson matrices up to order 59 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3418742
@@ Property / cites work: Q3418742 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hadamard matrix of order 428
@@ Property / cites work: A Hadamard matrix of order 428 / rank @@
+Normal rank
@@ Property / cites work @@
+Skew Hadamard designs and their codes
@@ Property / cites work: Skew Hadamard designs and their codes / rank @@
+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 @@
+Q5295613
@@ Property / cites work: Q5295613 / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard matrices of Williamson type: A challenge for computer algebra
+Normal rank
@@ Property / cites work @@
+Weighing matrices and string sorting
@@ Property / cites work: Weighing matrices and string sorting / rank @@
+Normal rank
@@ Property / cites work @@
+On skew-Hadamard matrices
@@ Property / cites work: On skew-Hadamard matrices / 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 van der Waerden Number<i>W</i>(2, 6) Is 1132
@@ Property / cites work: The van der Waerden Number<i>W</i>(2, 6) Is 1132 / rank @@
+Normal rank
@@ Property / cites work @@
+Green-Tao Numbers and SAT
@@ Property / cites work: Green-Tao Numbers and SAT / rank @@
+Normal rank
@@ Property / cites work @@
+An empirical study of branching heuristics through the lens of global learning rate
+Normal rank
@@ Property / cites work @@
+Q4146667
@@ Property / cites work: Q4146667 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+On Balanced Half-Sample Variance Estimation in Stratified Random Sampling
+Normal rank
@@ Property / cites work @@
+Hamilton Cycles that Extend Transposition Matchings in Cayley Graphs of $S_n $
+Normal rank
@@ Property / cites work @@
+Q3048845
@@ Property / cites work: Q3048845 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4026153
@@ Property / cites work: Q4026153 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2908653
@@ Property / cites work: Q2908653 / rank @@
+Normal rank
@@ Property / cites work @@
+Hadamard's determinant theorem and the sum of four squares
+Normal rank
@@ Property / cites work @@
+Q4229404
@@ Property / cites work: Q4229404 / rank @@
+Normal rank
@@ Property / cites work @@
+Combining SAT solvers with computer algebra systems to verify combinatorial conjectures
+Normal rank
@@ Property / cites work @@
+MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers
+Normal rank
@@ Property / Wikidata QID @@
+Q126637641
@@ Property / Wikidata QID: Q126637641 / rank @@
+Normal rank