@article {Bright2023,
	title = {A new lower bound in the abc conjecture},
	journal = {Canadian Mathematical Bulletin},
	volume = {67},
	year = {2024},
	pages = {369{\textendash}378},
	publisher = {Canadian Mathematical Society},
	issn = {1496-4287},
	doi = {10.4153/s0008439523000784},
	url = {http://dx.doi.org/10.4153/S0008439523000784},
	author = {Bright, Curtis}
}
@conference {DBLP:conf/issac/AjaniB24,
	title = {SAT and Lattice Reduction for Integer Factorization},
	booktitle = {Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, ISSAC 2024, Raleigh, NC, USA, July 16-19, 2024},
	year = {2024},
	pages = {391{\textendash}399},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.1145/3666000.3669712},
	url = {https://doi.org/10.1145/3666000.3669712},
	author = {Yameen Ajani and Curtis Bright},
	editor = {Jonathan D. Hauenstein and Wen-shin Lee and Shaoshi Chen}
}
@conference {DBLP:conf/aaai/Duggan0BG24,
	title = {A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)},
	booktitle = {Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-},
	year = {2024},
	pages = {23480{\textendash}23481},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V38I21.30437},
	url = {https://doi.org/10.1609/aaai.v38i21.30437},
	author = {Conor Duggan and Zhengyu Li and Curtis Bright and Vijay Ganesh},
	editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}
}
@conference {DBLP:conf/aaai/0002BG24,
	title = {A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)},
	booktitle = {Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-},
	year = {2024},
	pages = {23559{\textendash}23560},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V38I21.30472},
	url = {https://doi.org/10.1609/aaai.v38i21.30472},
	author = {Zhengyu Li and Curtis Bright and Vijay Ganesh},
	editor = {Michael J. Wooldridge and Jennifer G. Dy and Sriraam Natarajan}
}
@conference {DBLP:conf/ijcai/0002B024,
	title = {A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem},
	booktitle = {Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, IJCAI 2024, Jeju, South Korea, August 3-9, 2024},
	year = {2024},
	pages = {1898{\textendash}1906},
	publisher = {ijcai.org},
	organization = {ijcai.org},
	url = {https://www.ijcai.org/proceedings/2024/210},
	author = {Zhengyu Li and Curtis Bright and Vijay Ganesh}
}
@conference {DBLP:conf/paar/AlamgirNB24,
	title = {SHA-256 Collision Attack with Programmatic SAT},
	booktitle = {Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024 co-located with the 12th International Joint Conference on Automated Reasoning},
	series = {CEUR Workshop Proceedings},
	volume = {3717},
	year = {2024},
	pages = {91{\textendash}110},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3717/paper5.pdf},
	author = {Nahiyan Alamgir and Saeed Nejati and Curtis Bright},
	editor = {Christopher W. Brown and Daniela Kaufmann and Cl{\'a}udia Nalon and Alexander Steen and Martin Suda}
}
@conference {DBLP:conf/wia/BarnoffBS24,
	title = {Using Finite Automata to Compute the Base-b Representation of the Golden Ratio and Other Quadratic Irrationals},
	booktitle = {Implementation and Application of Automata - 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {15015},
	year = {2024},
	pages = {35{\textendash}50},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-031-71112-1_3},
	url = {https://doi.org/10.1007/978-3-031-71112-1_3},
	author = {Aaron Barnoff and Curtis Bright and Jeffrey O. Shallit},
	editor = {Szil{\'a}rd Zsolt Fazekas}
}
@conference {DBLP:conf/scsquare/AjaniB23,
	title = {A Hybrid SAT and Lattice Reduction Approach for Integer Factorization},
	booktitle = {Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation, SC-Square@ISSAC 2023, Troms{\o}, Norway, July 28, 2023},
	series = {CEUR Workshop Proceedings},
	volume = {3455},
	year = {2023},
	pages = {39{\textendash}43},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3455/short1.pdf},
	author = {Yameen Ajani and Curtis Bright},
	editor = {Erika {\'A}brah{\'a}m and Thomas Sturm}
}
@conference {DBLP:conf/scsquare/DallaireB22,
	title = {Enumerating Projective Planes of Order Nine with Proof Verification},
	booktitle = {Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022},
	series = {CEUR Workshop Proceedings},
	volume = {3458},
	year = {2022},
	pages = {45{\textendash}54},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3458/paper5.pdf},
	author = {Daniel Dallaire and Curtis Bright},
	editor = {Ali Kemal Uncu and Haniel Barbosa}
}
@conference {DBLP:conf/aaai/RubinBSC22,
	title = {Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract)},
	booktitle = {Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, IAAI 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, EAAI 2022 Virtual Eve},
	year = {2022},
	pages = {13037{\textendash}13038},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V36I11.21655},
	url = {https://doi.org/10.1609/aaai.v36i11.21655},
	author = {Noah Rubin and Curtis Bright and Brett Stevens and Kevin K. H. Cheung}
}
@proceedings {DBLP:conf/scsquare/2021,
	title = {Proceedings of the 6th SC-Square Workshop co-located with the SIAM Conference on Applied Algebraic Geometry, SC-Square@SIAM AG 2021, Virtual Event, College Station, USA, August 19-20, 2021},
	journal = {CEUR Workshop Proceedings},
	volume = {3273},
	year = {2022},
	publisher = {CEUR-WS.org},
	url = {http://ceur-ws.org/Vol-3273},
	editor = {Curtis Bright and James H. Davenport}
}
@conference {DBLP:conf/scsquare/LiBG22,
	title = {An SC-Square Approach to the Minimum Kochen-Specker Problem},
	booktitle = {Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022},
	series = {CEUR Workshop Proceedings},
	volume = {3458},
	year = {2022},
	pages = {55{\textendash}66},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-3458/paper6.pdf},
	author = {Zhengyu Li and Curtis Bright and Vijay Ganesh},
	editor = {Ali Kemal Uncu and Haniel Barbosa}
}
@article {DBLP:journals/cacm/BrightKG22,
	title = {When satisfiability solving meets symbolic computation},
	journal = {Commun. ACM},
	volume = {65},
	year = {2022},
	pages = {64{\textendash}72},
	doi = {10.1145/3500921},
	url = {https://doi.org/10.1145/3500921},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
@article {DBLP:journals/jsc/BrightKHG21,
	title = {Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT},
	journal = {J. Symb. Comput.},
	volume = {102},
	year = {2021},
	pages = {153{\textendash}172},
	doi = {10.1016/J.JSC.2019.10.013},
	url = {https://doi.org/10.1016/j.jsc.2019.10.013},
	author = {Curtis Bright and Ilias S. Kotsireas and Albert Heinle and Vijay Ganesh}
}
@conference {DBLP:conf/ictai/RubinBCS21,
	title = {Improving Integer and Constraint Programming for Graeco-Latin Squares},
	booktitle = {33rd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2021, Washington, DC, USA, November 1-3, 2021},
	year = {2021},
	pages = {604{\textendash}608},
	publisher = {IEEE},
	organization = {IEEE},
	doi = {10.1109/ICTAI52525.2021.00096},
	url = {https://doi.org/10.1109/ICTAI52525.2021.00096},
	author = {Noah Rubin and Curtis Bright and Kevin K. H. Cheung and Brett Stevens}
}
@conference {DBLP:conf/aaai/BrightCSKG21,
	title = {A SAT-based Resolution of Lam{\textquoteright}s Problem},
	booktitle = {Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Eve},
	year = {2021},
	pages = {3669{\textendash}3676},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V35I5.16483},
	url = {https://doi.org/10.1609/aaai.v35i5.16483},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh}
}
@article {DBLP:journals/jsc/BrightKG20,
	title = {Applying computer algebra systems with SAT solvers to the Williamson conjecture},
	journal = {J. Symb. Comput.},
	volume = {100},
	year = {2020},
	pages = {187{\textendash}209},
	doi = {10.1016/J.JSC.2019.07.024},
	url = {https://doi.org/10.1016/j.jsc.2019.07.024},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
@article {DBLP:journals/tit/BrightKG20,
	title = {New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences},
	journal = {IEEE Trans. Inf. Theory},
	volume = {66},
	year = {2020},
	pages = {7739{\textendash}7751},
	doi = {10.1109/TIT.2020.3016510},
	url = {https://doi.org/10.1109/TIT.2020.3016510},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
@article {DBLP:journals/aaecc/BrightCSRKG20,
	title = {A nonexistence certificate for projective planes of order ten with weight 15 codewords},
	journal = {Appl. Algebra Eng. Commun. Comput.},
	volume = {31},
	year = {2020},
	pages = {195{\textendash}213},
	doi = {10.1007/S00200-020-00426-Y},
	url = {https://doi.org/10.1007/s00200-020-00426-y},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Dominique Roy and Ilias S. Kotsireas and Vijay Ganesh}
}
@conference {DBLP:conf/iwoca/BrightCSKG20,
	title = {Nonexistence Certificates for Ovals in a Projective Plane of Order Ten},
	booktitle = {Combinatorial Algorithms - 31st International Workshop, IWOCA 2020, Bordeaux, France, June 8-10, 2020, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {12126},
	year = {2020},
	pages = {97{\textendash}111},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-030-48966-3_8},
	url = {https://doi.org/10.1007/978-3-030-48966-3_8},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Leszek Gasieniec and Ralf Klasing and Tomasz Radzik}
}
@conference {DBLP:conf/ijcai/BrightCSKG20,
	title = {Unsatisfiability Proofs for Weight 16 Codewords in Lam{\textquoteright}s Problem},
	booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020},
	year = {2020},
	pages = {1460{\textendash}1466},
	publisher = {ijcai.org},
	organization = {ijcai.org},
	doi = {10.24963/IJCAI.2020/203},
	url = {https://doi.org/10.24963/ijcai.2020/203},
	author = {Curtis Bright and Kevin K. H. Cheung and Brett Stevens and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Christian Bessiere}
}
@conference {DBLP:conf/mc2/BrightGKG19,
	title = {Effective Problem Solving Using SAT Solvers},
	booktitle = {Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings},
	series = {Communications in Computer and Information Science},
	volume = {1125},
	year = {2019},
	pages = {205{\textendash}219},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-030-41258-6_15},
	url = {https://doi.org/10.1007/978-3-030-41258-6_15},
	author = {Curtis Bright and J{\"u}rgen Gerhard and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {J{\"u}rgen Gerhard and Ilias S. Kotsireas}
}
@conference {DBLP:conf/cascon/BrightKG19,
	title = {SAT solvers and computer algebra systems: a powerful combination for mathematics},
	booktitle = {Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, CASCON 2019, Markham, Ontario, Canada, November 4-6, 2019},
	year = {2019},
	pages = {323{\textendash}328},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.5555/3370272.3370309},
	url = {https://dl.acm.org/doi/10.5555/3370272.3370309},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Tima Pakfetrat and Guy-Vincent Jourdan and Kostas Kontogiannis and Robert F. Enenkel}
}
@conference {DBLP:conf/aaai/BrightKG19,
	title = {A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples},
	booktitle = {The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Hono},
	year = {2019},
	pages = {1435{\textendash}1442},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V33I01.33011435},
	url = {https://doi.org/10.1609/aaai.v33i01.33011435},
	author = {Curtis Bright and Dragomir {\v Z}. {\DH}okovi{\'c} and Ilias S. Kotsireas and Vijay Ganesh}
}
@article {DBLP:journals/amai/BrightDKG19,
	title = {The SAT+CAS method for combinatorial search with applications to best matrices},
	journal = {Ann. Math. Artif. Intell.},
	volume = {87},
	year = {2019},
	pages = {321{\textendash}342},
	doi = {10.1007/S10472-019-09681-3},
	url = {https://doi.org/10.1007/s10472-019-09681-3},
	author = {Curtis Bright and Dragomir Z. Dokovic and Ilias S. Kotsireas and Vijay Ganesh}
}
@conference {DBLP:conf/issac/BrightKHG18,
	title = {Enumeration of Complex Golay Pairs via Programmatic SAT},
	booktitle = {Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018},
	year = {2018},
	pages = {111{\textendash}118},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.1145/3208976.3209006},
	url = {https://doi.org/10.1145/3208976.3209006},
	author = {Curtis Bright and Ilias S. Kotsireas and Albert Heinle and Vijay Ganesh},
	editor = {Manuel Kauers and Alexey Ovchinnikov and {\'E}ric Schost}
}
@conference {DBLP:conf/aaai/BrightKG18,
	title = {A SAT+CAS Method for Enumerating Williamson Matrices of Even Order},
	booktitle = {Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, (AAAI-18), the 30th innovative Applications of Artificial Intelligence (IAAI-18), and the 8th AAAI Symposium on Educational Advances in Artificial Intelligence (EAAI-18), New Orl},
	year = {2018},
	pages = {6573{\textendash}6580},
	publisher = {AAAI Press},
	organization = {AAAI Press},
	doi = {10.1609/AAAI.V32I1.12203},
	url = {https://doi.org/10.1609/aaai.v32i1.12203},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh},
	editor = {Sheila A. McIlraith and Kilian Q. Weinberger}
}
@article {DBLP:journals/cca/BrightKG18,
	title = {The SAT+CAS paradigm and the Williamson conjecture},
	journal = {ACM Commun. Comput. Algebra},
	volume = {52},
	year = {2018},
	pages = {82{\textendash}84},
	doi = {10.1145/3313880.3313889},
	url = {https://doi.org/10.1145/3313880.3313889},
	author = {Curtis Bright and Ilias S. Kotsireas and Vijay Ganesh}
}
@article {DBLP:journals/jar/ZulkoskiBHKCG17,
	title = {Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures},
	journal = {J. Autom. Reason.},
	volume = {58},
	year = {2017},
	pages = {313{\textendash}339},
	doi = {10.1007/S10817-016-9396-Y},
	url = {https://doi.org/10.1007/s10817-016-9396-y},
	author = {Edward Zulkoski and Curtis Bright and Albert Heinle and Ilias S. Kotsireas and Krzysztof Czarnecki and Vijay Ganesh}
}
@mastersthesis {DBLP:phd/basesearch/Bright17,
	title = {Computational Methods for Combinatorial and Number Theoretic Problems},
	year = {2017},
	school = {University of Waterloo, Ontario, Canada},
	type = {phd},
	url = {https://hdl.handle.net/10012/11761},
	author = {Curtis Bright}
}
@conference {DBLP:conf/casc/BrightGHKNC16,
	title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
	booktitle = {Computer Algebra in Scientific Computing - 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings},
	series = {Lecture Notes in Computer Science},
	volume = {9890},
	year = {2016},
	pages = {117{\textendash}133},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-319-45641-6_9},
	url = {https://doi.org/10.1007/978-3-319-45641-6_9},
	author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias S. Kotsireas and Saeed Nejati and Krzysztof Czarnecki},
	editor = {Vladimir P. Gerdt and Wolfram Koepf and Werner M. Seiler and Evgenii V. Vorozhtsov}
}
@conference {DBLP:conf/synasc/BrightGHKNC16,
	title = {MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures},
	booktitle = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016},
	series = {CEUR Workshop Proceedings},
	volume = {1804},
	year = {2016},
	pages = {13{\textendash}19},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	url = {https://ceur-ws.org/Vol-1804/paper-04.pdf},
	author = {Curtis Bright and Vijay Ganesh and Albert Heinle and Ilias S. Kotsireas and Saeed Nejati and Krzysztof Czarnecki},
	editor = {Erika {\'A}brah{\'a}m and James H. Davenport and Pascal Fontaine}
}
@article {DBLP:journals/em/BrightDS16,
	title = {Minimal Elements for the Prime Numbers},
	journal = {Exp. Math.},
	volume = {25},
	year = {2016},
	pages = {321{\textendash}331},
	doi = {10.1080/10586458.2015.1064048},
	url = {https://doi.org/10.1080/10586458.2015.1064048},
	author = {Curtis Bright and Raymond R. Devillers and Jeffrey O. Shallit}
}
@conference {DBLP:conf/issac/BrightS11,
	title = {Vector rational number reconstruction},
	booktitle = {Symbolic and Algebraic Computation, International Symposium, ISSAC 2011 (co-located with FCRC 2011), San Jose, CA, USA, June 7-11, 2011, Proceedings},
	year = {2011},
	pages = {51{\textendash}58},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.1145/1993886.1993900},
	url = {https://doi.org/10.1145/1993886.1993900},
	author = {Curtis Bright and Arne Storjohann},
	editor = {{\'E}ric Schost and Ioannis Z. Emiris}
}
