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

Karem A. Sakallah

机构信息待补充

43H指数
219论文数
7.4K被引数
收录论文 4
发表时间
logo
Solution and optimization of systems of pseudo-Boolean constraints伪布尔约束系统的求解与优化
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2007-10-01
err16
errOAAI
errAloul, Fadi A.; Ramani, Arathi; Sakallah, Karem A.; Markov, Igor L.
err分享
err收藏
Efficient symmetry breaking for Boolean satisfiability
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2006-05-01
err54
PREAI
errAloul, FA; Sakallah, KA; Markov, IL
err分享
err收藏
A comparative study of two Boolean formulations of FPGA detailed routing constraints
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err2004-06-01
err41
PREAI
errNam, GJ; Aloul, F; Sakallah, KA; Rutenbar, RA
err分享
err收藏
GRASP: A search algorithm for propositional satisfiability
errIEEE TRANSACTIONS ON COMPUTERS
IF3.8
err1999-05-01
err894
errOAAI
errMarques-Silva, JP; Sakallah, KA
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
I
Igor L. Markov
H 指数: 62 · 论文数: 444
R
Rob A. Rutenbar
H 指数: 50 · 论文数: 341
F
Fadi Aloul
H 指数: 33 · 论文数: 163
G
Gi-Joon Nam
H 指数: 27 · 论文数: 100
A
Arathi Ramani
H 指数: 10 · 论文数: 16
查看更多