Kotsireas, Ilias S.

4 publications

AAAI 2021 A SAT-Based Resolution of Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

IJCAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2019 A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh

AAAI 2018 A SAT+CAS Method for Enumerating Williamson Matrices of Even Order Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh