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

Marijn J. H. Heule

carnegie mellon university

32H指数
199论文数
4.1K被引数
收录论文 5
发表时间
logo
Automated Symmetric Constructions in Discrete Geometry离散几何中的自动对称构造
errINTELLIGENT COMPUTER MATHEMATICS, CICM 2025
IF0
err2026-01-01
err0
PREAI
errSubercaseaux, Bernardo; Mackey, Ethan; Qian, Long; Heule, Marijn
err分享
err收藏
RipTide A programmable, energy-minimal dataflow compiler and architecture
err2022 55TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO)
IF0
err2022-10-01
err13
PREAI
errGobieski, Graham; Ghosh, Souradip; Heule, Marijn; Mowry, Todd; Nowatzki, Tony; Beckmann, Nathan; Lucia, Brandon
err分享
err收藏
SAT Competition 2020
errartificial intelligence review
IF4.6
err2021-12-01
err30
errOAAI
errFroleyks, Nils; Heule, Marijn; Iser, Markus; Jarvisalo, Matti; Suda, Martin
err分享
err收藏
The Science of Brute Force蛮力的科学
errCOMMUNICATIONS OF THE ACM
IF12.2
err2017-07-24
err56
errOAAI
errHeule, Marijn J. H.; Kullmann, Oliver
err分享
err收藏
Software model synthesis using satisfiability solvers
errEMPIRICAL SOFTWARE ENGINEERING
IF3.6
err2012-08-09
err41
PREAI
errHeule, Marijn J. H.; Verwer, Sicco
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
T
Todd C. Mowry
H 指数: 50 · 论文数: 162
B
Brandon Lucia
H 指数: 40 · 论文数: 121
M
Matti J„ärvisalo
H 指数: 27 · 论文数: 194
N
Nathan Beckmann
H 指数: 25 · 论文数: 79
T
Tony Nowatzki
H 指数: 24 · 论文数: 75
查看更多