The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Curtis Bright" ( http://dblp.L3S.de/Authors/Curtis_Bright )

  Author page on DBLP  Author page in RDF  Community of Curtis Bright in ASPL-2

Publication years (Num. hits)
2011 (1) 2016 (3) 2017 (2) 2018 (6) 2019 (6)
Publication types (Num. hits)
article(11) inproceedings(6) phdthesis(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 18 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Curtis Bright, Ilias Kotsireas, Albert Heinle, Vijay Ganesh Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Dokovic, Ilias Kotsireas, Vijay Ganesh The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Jürgen Gerhard, Ilias Kotsireas, Vijay Ganesh Effective problem solving using SAT solvers. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Ðokovic, Ilias Kotsireas, Vijay Ganesh A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias Kotsireas, Vijay Ganesh The SAT+CAS paradigm and the Williamson conjecture. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh Enumeration of Complex Golay Pairs via Programmatic SAT. Search on Bibsonomy ISSAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Curtis Bright Computational Methods for Combinatorial and Number Theoretic Problems. Search on Bibsonomy 2017   RDF
1Curtis Bright, Raymond R. Devillers, Jeffrey Shallit Minimal Elements for the Prime Numbers. Search on Bibsonomy Experimental Mathematics The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Curtis Bright, Arne Storjohann Vector rational number reconstruction. Search on Bibsonomy ISSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #18 of 18 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license