logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
C

Curtis Bright

university of windsor

7H指数
61论文数
149被引数
收录论文 4
发表时间
logo
Computing the base-b representation of quadratic irrationals using automata使用自动机计算二次无理数的基-b表示
errTheoretical Computer Science
IF1
err2026-05-02
err0
PREAI
errBarnoff, Aaron; Bright, Curtis; Shallit, Jeffrey
err分享
err收藏
Myrvold's Results on Orthogonal Triples of 10 × 10 Latin Squares: A SAT Investigation米尔沃德关于10×10拉丁方正交三元组的结果：一项SAT调查
errELECTRONIC JOURNAL OF COMBINATORICS
IF0.7
err2026-02-13
err0
PREAI
errBright, Curtis; Keita, Amadou; Stevens, Brett
err分享
err收藏
Orthogonal Latin squares of order 10 with two relations: A SAT investigation阶为10的正交拉丁方及其两种关系：SAT研究
errDISCRETE MATHEMATICS ALGORITHMS AND APPLICATIONS
IF0.4
err2025-11-01
err0
PREAI
errBright, Curtis; Keita, Amadou; Stevens, Brett
err分享
err收藏
When Satisfiability Solving Meets Symbolic Computation
errCOMMUNICATIONS OF THE ACM
IF12.2
err2022-06-21
err5
PREAI
errBright, Curtis; Kotsireas, Ilias; Ganesh, Vijay
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
V
Vijay Ganesh
H 指数: 43 · 论文数: 292
B
Brett Stevens
H 指数: 21 · 论文数: 163
I
Ilias Kotsireas
H 指数: 16 · 论文数: 318
A
Amadou Keita
H 指数: 1 · 论文数: 9
B
Barnoff, Aaron
H 指数: 0 · 论文数: 1
查看更多