<style face="normal" font="default" size="100%">A new lower bound in the <em>abc</em> conjecture</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A new lower bound in the <em>abc</em> conjecture</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">SAT and Lattice Reduction for Integer Factorization</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A SAT + Computer Algebra System Verification of the Ramsey Problem <em>R</em>(3, 8) (Student Abstract)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">SHA-256 Collision Attack with Programmatic SAT</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Using Finite Automata to Compute the Base-<em>b</em> Representation of the Golden Ratio and Other Quadratic Irrationals</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A Hybrid SAT and Lattice Reduction Approach for Integer Factorization</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Enumerating Projective Planes of Order Nine with Proof Verification</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract)</style>

Drupal-Biblio

10

<style face="normal" font="default" size="100%">Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">An SC-Square Approach to the Minimum Kochen-Specker Problem</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">When satisfiability solving meets symbolic computation</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Improving Integer and Constraint Programming for Graeco-Latin Squares</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A SAT-based Resolution of Lam's Problem</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Applying computer algebra systems with SAT solvers to the Williamson conjecture</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">A nonexistence certificate for projective planes of order ten with weight 15 codewords</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Nonexistence Certificates for Ovals in a Projective Plane of Order Ten</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Effective Problem Solving Using SAT Solvers</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">SAT solvers and computer algebra systems: a powerful combination for mathematics</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The SAT+CAS method for combinatorial search with applications to best matrices</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Enumeration of Complex Golay Pairs via Programmatic SAT</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">A SAT+CAS Method for Enumerating Williamson Matrices of Even Order</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">The SAT+CAS paradigm and the Williamson conjecture</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures</style>

Drupal-Biblio

32

<style face="normal" font="default" size="100%">Computational Methods for Combinatorial and Number Theoretic Problems</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures</style>

Drupal-Biblio

17

<style face="normal" font="default" size="100%">Minimal Elements for the Prime Numbers</style>

Drupal-Biblio

47

<style face="normal" font="default" size="100%">Vector rational number reconstruction</style>