Author of the publication

Effective Problem Solving Using SAT Solvers.

, , , and . MC, volume 1125 of Communications in Computer and Information Science, page 205-219. Springer, (2019)

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)Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches., , , , and . CoRR, (2022)Message from the SIGSAM Chair.. ACM Commun. Comput. Algebra, 48 (3/4): 154 (2014)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 New Existence Condition for Hadamard Matrices with Circulant Core., and . LION, volume 8426 of Lecture Notes in Computer Science, page 383-390. Springer, (2014)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)Compression of periodic complementary sequences and applications., and . Des. Codes Cryptogr., 74 (2): 365-377 (2015)