Bright, Curtis; Kotsireas, Ilias; Heinle, Albert; Ganesh, Vijay Complex Golay pairs up to length 28: a search via computer algebra and programmatic SAT. (English) Zbl 1468.68276 J. Symb. Comput. 102, 153-172 (2021). MSC: 68V05 05A15 11B83 68R07 68W30 94A55 PDFBibTeX XMLCite \textit{C. Bright} et al., J. Symb. Comput. 102, 153--172 (2021; Zbl 1468.68276) Full Text: DOI arXiv
Bright, Curtis; Cheung, Kevin K. H.; Stevens, Brett; Kotsireas, Ilias; Ganesh, Vijay Nonexistence certificates for ovals in a projective plane of order ten. (English) Zbl 07601001 Gąsieniec, Leszek (ed.) et al., Combinatorial algorithms. 31st international workshop, IWOCA 2020, Bordeaux, France, June 8–10, 2020, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12126, 97-111 (2020). MSC: 68Rxx 68Wxx PDFBibTeX XMLCite \textit{C. Bright} et al., Lect. Notes Comput. Sci. 12126, 97--111 (2020; Zbl 07601001) Full Text: DOI arXiv
Bright, Curtis; Cheung, Kevin; Stevens, Brett; Roy, Dominique; Kotsireas, Ilias; Ganesh, Vijay A nonexistence certificate for projective planes of order ten with weight 15 codewords. (English) Zbl 1460.68098 Appl. Algebra Eng. Commun. Comput. 31, No. 3-4, 195-213 (2020). MSC: 68T20 05B25 51E20 68W30 PDFBibTeX XMLCite \textit{C. Bright} et al., Appl. Algebra Eng. Commun. Comput. 31, No. 3--4, 195--213 (2020; Zbl 1460.68098) Full Text: DOI arXiv
Bright, Curtis; Kotsireas, Ilias; Ganesh, Vijay Applying computer algebra systems with SAT solvers to the Williamson conjecture. (English) Zbl 1432.68595 J. Symb. Comput. 100, 187-209 (2020). MSC: 68W30 05B20 PDFBibTeX XMLCite \textit{C. Bright} et al., J. Symb. Comput. 100, 187--209 (2020; Zbl 1432.68595) Full Text: DOI arXiv
Bright, Curtis; Đoković, Dragomir Ž.; Kotsireas, Ilias; Ganesh, Vijay The SAT+CAS method for combinatorial search with applications to best matrices. (English) Zbl 1434.05001 Ann. Math. Artif. Intell. 87, No. 4, 321-342 (2019). Reviewer: Ioan Tomescu (Bucureşti) MSC: 05-04 05B20 68R05 68T27 68W30 PDFBibTeX XMLCite \textit{C. Bright} et al., Ann. Math. Artif. Intell. 87, No. 4, 321--342 (2019; Zbl 1434.05001) Full Text: DOI arXiv
Zulkoski, Edward; Bright, Curtis; Heinle, Albert; Kotsireas, Ilias; Czarnecki, Krzysztof; Ganesh, Vijay Combining SAT solvers with computer algebra systems to verify combinatorial conjectures. (English) Zbl 1410.68413 J. Autom. Reasoning 58, No. 3, 313-339 (2017). MSC: 68W30 05B20 05C15 05C38 68T15 PDFBibTeX XMLCite \textit{E. Zulkoski} et al., J. Autom. Reasoning 58, No. 3, 313--339 (2017; Zbl 1410.68413) Full Text: DOI
Bright, Curtis; Ganesh, Vijay; Heinle, Albert; Kotsireas, Ilias; Nejati, Saeed; Czarnecki, Krzysztof MathCheck2: a SAT+CAS verifier for combinatorial conjectures. (English) Zbl 1453.05001 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 117-133 (2016). MSC: 05-04 68V15 68W30 PDFBibTeX XMLCite \textit{C. Bright} et al., Lect. Notes Comput. Sci. 9890, 117--133 (2016; Zbl 1453.05001) Full Text: DOI