@article {Bright2023, title = {A new lower bound in the abc conjecture}, journal = {Canadian Mathematical Bulletin}, volume = {67}, number = {2}, 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}, number = {7}, 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}, number = {12}, 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}, number = {3-4}, 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}, number = {4}, 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}, number = {3}, 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}, number = {3}, 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}, number = {3}, 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} }