Curtis Bright - RankMe

66 papers A* 9A 1B 5C 2Journal 39Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Computing the base-b representation of quadratic irrationals using automata. Theor. Comput. Sci. Aaron Barnoff, Curtis Bright, Jeffrey O. Shallit
2026	J	`jnl`	Myrvold's Results on Orthogonal Triples of 10 × 10 Latin Squares: A SAT Investigation. Electron. J. Comb. Curtis Bright, Amadou Keita, Brett Stevens
2026	J	`jnl`	Quaternionic Perfect Sequences and Hadamard Matrices. CoRR Aidan Bennett, Curtis Bright, Paul Colinot, Ashwin Nayak
2025	J	`jnl`	Myrvold's Results on Orthogonal Triples of 10 ⨉ 10 Latin Squares: A SAT Investigation. CoRR Curtis Bright, Amadou Keita, Brett Stevens
2025	J	`jnl`	New results on periodic Golay pairs. Math. Comput. Tyler Lumsden, Ilias S. Kotsireas, Curtis Bright
2025	J	`jnl`	North-East Lattice Paths Avoiding CoRR Aaron Barnoff, Curtis Bright
2025	J	`jnl`	Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation. CoRR Curtis Bright, Amadou Keita, Brett Stevens
2025	J	`jnl`	Queen Domination by SAT Solving. CoRR Taha Rostami, Curtis Bright
2025	—	`conf`	Symbolic Sets for Proving Bounds on Rado Numbers. SC-Square@CADE Tanbir Ahmed, Lamina Zaman, Curtis Bright
2025	J	`jnl`	Symbolic Sets for Proving Bounds on Rado Numbers. CoRR Tanbir Ahmed, Lamina Zaman, Curtis Bright
2025	A	`conf`	Understanding the Popularity of Packages in Maven Ecosystem. MSR Sadman Jashim Sakib, Muhammad Asaduzzaman, Curtis Bright, Cole Morgan
2025	A*	`conf`	Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. IJCAI Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh
2025	J	`jnl`	Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3, 8) and R(3, 9) Problems. CoRR Zhengyu Li, Conor Duggan, Curtis Bright, Vijay Ganesh
2024	A*	`conf`	A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract). AAAI Conor Duggan, Zhengyu Li, Curtis Bright, Vijay Ganesh
2024	A*	`conf`	A SAT Solver + Computer Algebra Attack on the Minimum Kochen-Specker Problem. IJCAI Zhengyu Li, Curtis Bright, Vijay Ganesh
2024	A*	`conf`	A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract). AAAI Zhengyu Li, Curtis Bright, Vijay Ganesh
2024	J	`jnl`	AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems. CoRR Piyush Jha, Zhengyu Li, Zhengyang Lu, Curtis Bright, Vijay Ganesh
2024	J	`jnl`	New Results on Periodic Golay Pairs. CoRR Tyler Lumsden, Ilias S. Kotsireas, Curtis Bright
2024	B	`conf`	SAT and Lattice Reduction for Integer Factorization. ISSAC Yameen Ajani, Curtis Bright
2024	J	`jnl`	SAT and Lattice Reduction for Integer Factorization. CoRR Yameen Ajani, Curtis Bright
2024	—	`conf`	SHA-256 Collision Attack with Programmatic SAT. PAAR+SC²@IJCAR Nahiyan Alamgir, Saeed Nejati, Curtis Bright
2024	J	`jnl`	SHA-256 Collision Attack with Programmatic SAT. CoRR Nahiyan Alamgir, Saeed Nejati, Curtis Bright
2024	C	`conf`	Using Finite Automata to Compute the Base-b Representation of the Golden Ratio and Other Quadratic Irrationals. CIAA Aaron Barnoff, Curtis Bright, Jeffrey O. Shallit
2024	J	`jnl`	Using finite automata to compute the base-b representation of the golden ratio and other quadratic irrationals. CoRR Aaron Barnoff, Curtis Bright, Jeffrey O. Shallit
2023	—	`conf`	A Hybrid SAT and Lattice Reduction Approach for Integer Factorization. SC-Square@ISSAC Yameen Ajani, Curtis Bright
2023	J	`jnl`	A New Lower Bound in the abc Conjecture. CoRR Curtis Bright
2023	J	`jnl`	A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem. CoRR Zhengyu Li, Curtis Bright, Vijay Ganesh
2022	—	`conf`	An SC-Square Approach to the Minimum Kochen-Specker Problem. SC-Square@FLoC Zhengyu Li, Curtis Bright, Vijay Ganesh
2022	—	`conf`	Enumerating Projective Planes of Order Nine with Proof Verification. SC-Square@FLoC Daniel Dallaire, Curtis Bright
2022	A*	`conf`	Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares (Student Abstract). AAAI Noah Rubin, Curtis Bright, Brett Stevens, Kevin K. H. Cheung
2022	—	`ed.`	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. SC-Square@SIAM AG Curtis Bright, James H. Davenport
2022	J	`jnl`	When satisfiability solving meets symbolic computation. Commun. ACM Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2021	A*	`conf`	A SAT-based Resolution of Lam's Problem. AAAI Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2021	J	`jnl`	Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2021	B	`conf`	Improving Integer and Constraint Programming for Graeco-Latin Squares. ICTAI Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens
2021	J	`jnl`	Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares. CoRR Noah Rubin, Curtis Bright, Kevin K. H. Cheung, Brett Stevens
2020	J	`jnl`	A SAT-based Resolution of Lam's Problem. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	A nonexistence certificate for projective planes of order ten with weight 15 codewords. Appl. Algebra Eng. Commun. Comput. Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2020	C	`conf`	Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. IWOCA Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	A*	`conf`	Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. IJCAI Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2020	J	`jnl`	Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. CoRR Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
2019	A*	`conf`	A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2019	—	`conf`	Effective Problem Solving Using SAT Solvers. MC Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	Effective problem solving using SAT solvers. CoRR Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019	—	`conf`	SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
2019	J	`jnl`	The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
2018	J	`jnl`	A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh
2018	A*	`conf`	A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018	J	`jnl`	Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2018	B	`conf`	Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018	J	`jnl`	Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
2018	J	`jnl`	The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh
2017	J	`jnl`	Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
2017	—	`—`	Computational Methods for Combinatorial and Number Theoretic Problems. Curtis Bright
2016	B	`conf`	MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016	—	`conf`	MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016	J	`jnl`	Minimal Elements for the Prime Numbers. Exp. Math. Curtis Bright, Raymond Devillers, Jeffrey O. Shallit
2011	B	`conf`	Vector rational number reconstruction. ISSAC Curtis Bright, Arne Storjohann