Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).

Z. Li, C. Bright, and V. Ganesh. AAAI, page 23559-23560. AAAI Press, (2024)

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

An SC-Square Approach to the Minimum Kochen-Specker Problem.Z. Li, C. Bright, and V. Ganesh. SC-Square@FLoC, volume 3458 of CEUR Workshop Proceedings, page 55-66. CEUR-WS.org, (2022)A SAT-based Resolution of Lam's Problem.C. Bright, K. Cheung, B. Stevens, I. Kotsireas, and V. Ganesh. CoRR, (2020)Nonexistence Certificates for Ovals in a Projective Plane of Order Ten.C. Bright, K. Cheung, B. Stevens, I. Kotsireas, and V. Ganesh. IWOCA, volume 12126 of Lecture Notes in Computer Science, page 97-111. Springer, (2020)The SAT+CAS paradigm and the Williamson conjecture.C. Bright, I. Kotsireas, and V. Ganesh. ACM Commun. Comput. Algebra, 52 (3): 82-84 (2018)A nonexistence certificate for projective planes of order ten with weight 15 codewords.C. Bright, K. Cheung, B. Stevens, D. Roy, I. Kotsireas, and V. Ganesh. Appl. Algebra Eng. Commun. Comput., 31 (3-4): 195-213 (2020)New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences.C. Bright, I. Kotsireas, and V. Ganesh. IEEE Trans. Inf. Theory, 66 (12): 7739-7751 (2020)A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem.Z. Li, C. Bright, and V. Ganesh. CoRR, (2023)Integer and Constraint Programming Revisited for Mutually Orthogonal Latin Squares.N. Rubin, C. Bright, K. Cheung, and B. Stevens. CoRR, (2021)When satisfiability solving meets symbolic computation.C. Bright, I. Kotsireas, and V. Ganesh. Commun. ACM, 65 (7): 64-72 (2022)Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT.C. Bright, I. Kotsireas, A. Heinle, and V. Ganesh. J. Symb. Comput., (2021)

BibSonomy

Disambiguation of "Bright, Curtis"

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).

Please choose a person to relate this publication to

Curtis Bright

Andrew Curtis

Vickie Curtis

Fritz Curtis

Robin Curtis

Other publications of authors with the same name

Disambiguation

BibSonomy

Disambiguation of "Bright, Curtis"

copydeleteadd this publication to your clipboardcommunity posthistory of this postURLDOIBibTeXEndNoteAPAChicagoDIN 1505HarvardMSOffice XML A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).

Please choose a person to relate this publication to

Curtis Bright

Andrew Curtis

Vickie Curtis

Fritz Curtis

Robin Curtis

Other publications of authors with the same name

Disambiguation

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract).