Curtis Bright
发表
Curtis Bright,
2019
.
Curtis Bright,
2012
.
I. Kotsireas,
K. Czarnecki,
Vijay Ganesh,
2018
.
Curtis Bright,
2013
.
Brett Stevens,
Curtis Bright,
Vijay Ganesh,
2020,
IJCAI.
I. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2022,
Commun. ACM.
I. Kotsireas,
Vijay Ganesh,
Curtis Bright,
2017
.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2019
.
Curtis Bright,
2013
.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2019,
Applicable Algebra in Engineering, Communication and Computing.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
Journal of Automated Reasoning.
Curtis Bright,
Arne Storjohann,
A. Storjohann,
2011,
ISSAC '11.
Curtis Bright,
2023,
ArXiv.
Jeffrey Shallit,
Raymond R. Devillers,
Curtis Bright,
2016,
Exp. Math..
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2020,
AAAI.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2023,
ArXiv.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2020,
IJCAI.
Curtis Bright,
2013
.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
CASCON.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2023,
ArXiv.
Curtis Bright,
2023,
Canadian Mathematical Bulletin.
Dragomir Z. Dokovic,
Curtis Bright,
Vijay Ganesh,
2019,
Annals of Mathematics and Artificial Intelligence.
Brett Stevens,
Curtis Bright,
Kevin K. H. Cheung,
2021,
ArXiv.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
J. Symb. Comput..
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
ISSAC.
Curtis Bright,
Curtis Bright,
2017
.
Krzysztof Czarnecki,
Ilias S. Kotsireas,
Curtis Bright,
2016,
SC²@SYNASC.
Curtis Bright,
Zhengyu Li,
Vijay Ganesh,
2024,
AAAI.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2023,
ArXiv.
Vijay Ganesh,
Curtis Bright,
Zhengyu Li,
2022,
SC-Square@FLoC.
Kevin K. H. Cheung,
I. Kotsireas,
Vijay Ganesh,
2020,
IWOCA.
Dragomiru Z. Dokovic,
I. Kotsireas,
Vijay Ganesh,
2019,
Annals of Mathematics and Artificial Intelligence.
Curtis Bright,
Vijay Ganesh,
Ilias Kotsireas,
2019,
ACCA.
Dragomiru Z. Dokovic,
I. Kotsireas,
Vijay Ganesh,
2018,
AAAI.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
AAAI.
Ilias S. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
J. Symb. Comput..
Curtis Bright,
2019
.
I. Kotsireas,
Curtis Bright,
Vijay Ganesh,
2018,
ArXiv.