Curtis Bright

Curtis Bright

University of Windsor - Windsor / Canada
Engineering & Technology / Computer Science
AD Scientific Index ID: 4848887
person_outline Curtis Bright's MOST POPULAR ARTICLES
1-) Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial ConjecturesE Zulkoski, C Bright, A Heinle, IS Kotsireas, K Czarnecki, V GaneshJournal of Automated Reasoning 36, 241–256, 2017332017
2-) Applying computer algebra systems with SAT solvers to the Williamson conjectureC Bright, I Kotsireas, V GaneshJournal of Symbolic Computation 100, 187–209, 2020262020
3-) Effective problem solving using SAT solversC Bright, J Gerhard, I Kotsireas, V GaneshMaple Conference, 205–219, 2019222019
4-) MathCheck2: A SAT+CAS Verifier for Combinatorial ConjecturesC Bright, V Ganesh, A Heinle, I Kotsireas, S Nejati, K CzarneckiInternational Workshop on Computer Algebra in Scientific Computing, 117–133, 2016272016
5-) A SAT-based Resolution of Lam\'s ProblemC Bright, KKH Cheung, B Stevens, I Kotsireas, V GaneshProceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3669-3676, 2021262021