Concepedia

Curtis Bright

CB

Statistics

Publications

5

Citations

91

H-Index

5

Active since

2011

Affiliations

University of Waterloo(Current)

Wilfrid Laurier University

Curtis Bright is an author at University of Waterloo specializing in computer science, theory of computation, and algorithms.

ORCID

Publications per year

2011–2019

5

Publications

5

Applying computer algebra systems with SAT solvers to the Williamson conjecture

Curtis Bright, Ilias Kotsireas, Vijay Ganesh · Journal of Symbolic Computation · 2019 · 27 citations · Full text

, , +9

Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures

Edward Zulkoski, Curtis Bright, Albert Heinle et al. · Journal of Automated Reasoning · 2016 · 25 citations

, , +10

A SAT+CAS Method for Enumerating Williamson Matrices of Even Order

Curtis Bright, Ilias Kotsireas, Vijay Ganesh · Proceedings of the AAAI Conference on Artificial Intelligence · 2018 · 15 citations · Full text

, , +8

Vector rational number reconstruction

Curtis Bright, Arne Storjohann · 2011 · 13 citations

, , +13

Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT

Curtis Bright, Ilias Kotsireas, Albert Heinle et al. · Journal of Symbolic Computation · 2019 · 11 citations · Full text

, , +5

1–5 of 5