( en | de | ru )

 

Disambiguation of "Kotsireas, Ilias S."

Author of the publication

copydeleteadd this publication to your clipboard
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.

Nikos Ilias

Heike Ilias

Alexei Iliasov

Ilias Sewdas

Ilias Kolowos

 

Other publications of authors with the same name

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)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)Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra., , , and . AISC, volume 1930 of Lecture Notes in Computer Science, page 174-183. Springer, (2000)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)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)Compression of periodic complementary sequences and applications., and . Des. Codes Cryptogr., 74 (2): 365-377 (2015)Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ., and . J. Frankl. Inst., 342 (3): 329-340 (2005)