Author of the publication

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures.

, , , , , and . J. Autom. Reason., 58 (3): 313-339 (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra., , , and . AISC, volume 1930 of Lecture Notes in Computer Science, page 174-183. Springer, (2000)Message from the SIGSAM Chair.. ACM Commun. Comput. Algebra, 48 (3/4): 154 (2014)Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches., , , , and . CoRR, (2022)Hard Combinatorial Problems: A Challenge for Satisfiability.. SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 1. CEUR-WS.org, (2018)Bounding the Number of Roots of Multi-Homogeneous Systems., , , and . ISSAC, page 255-262. ACM, (2022)Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT., , , and . J. Symb. Comput., (2021)A SAT-based Resolution of Lam's Problem., , , , and . CoRR, (2020)Root-Finding with Implicit Deflation., , , , and . CASC, volume 11661 of Lecture Notes in Computer Science, page 236-245. Springer, (2019)How to Use Boltzmann Machines and Neural Networks for Covering Array Generation., , , and . LION, volume 11968 of Lecture Notes in Computer Science, page 53-68. Springer, (2019)A Meta-Software System for the Discovery of Hadamard Matrices., and . HPCS, page 17-23. IEEE Computer Society, (2005)