Author of the publication

Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation.

, , and . IWOCA, volume 10979 of Lecture Notes in Computer Science, page 189-200. Springer, (2018)

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

Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches., , , , and . CoRR, (2022)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)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)Hard Combinatorial Problems: A Challenge for Satisfiability.. SC-Square@FLOC, volume 2189 of CEUR Workshop Proceedings, page 1. CEUR-WS.org, (2018)Compression of periodic complementary sequences and applications., and . Des. Codes Cryptogr., 74 (2): 365-377 (2015)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)Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ., and . J. Frankl. Inst., 342 (3): 329-340 (2005)A SAT-based Resolution of Lam's Problem., , , , and . CoRR, (2020)