( en | de | ru )

 

Disambiguation of "Bright, Curtis"

Author of the publication

copydeleteadd this publication to your clipboard
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT.

, , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Curtis Bright

Andrew Curtis

Vickie Curtis

Fritz Curtis

Robin Curtis

 

Other publications of authors with the same name

A SAT-based Resolution of Lam's Problem., , , , and . CoRR, (2020)An SC-Square Approach to the Minimum Kochen-Specker Problem., , and . SC-Square@FLoC, volume 3458 of CEUR Workshop Proceedings, page 55-66. CEUR-WS.org, (2022)Nonexistence Certificates for Ovals in a Projective Plane of Order Ten., , , , and . IWOCA, volume 12126 of Lecture Notes in Computer Science, page 97-111. Springer, (2020)Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT., , , and . CoRR, (2019)Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem., , , , and . IJCAI, page 1460-1466. ijcai.org, (2020)Scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic..The SAT+CAS method for combinatorial search with applications to best matrices., , , and . Ann. Math. Artif. Intell., 87 (4): 321-342 (2019)A New Lower Bound in the abc Conjecture.. CoRR, (2023)Effective Problem Solving Using SAT Solvers., , , and . MC, volume 1125 of Communications in Computer and Information Science, page 205-219. Springer, (2019)A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)., , , and . AAAI, page 23480-23481. AAAI Press, (2024)A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem., , and . CoRR, (2023)