停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

Solimul Chowdhury马里兰州

>主页 >人员

人员信息

附属： 加拿大阿尔伯塔省埃德蒙顿阿尔伯塔大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/Chowdhury0Y24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/Chowdhury0Y24
Solimul Chowdhury马里兰州，马丁·米勒，嘉惠游:
探索产生冲突的决策：初步结果（扩展摘要）。 SOCS系统 2024:267-268
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChowdhuryCH24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChowdhuryCH24
Solimul Chowdhury马里兰州，凯登·卡德尔，Marijn J.H.鞋垫:
TaSSAT：转让和共享SAT。 TACAS（1） 2024:34-42
2023
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nfm/ChowdhuryCH23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nfm/ChowdhuryCH23
Solimul Chowdhury马里兰州，Cayden R.Codel公司，Marijn J.H.鞋垫:
用于局部搜索的线性权重转移规则。非金融市场 2023:447-463
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-14894
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-14894
Solimul Chowdhury马里兰州，凯登·卡德尔，Marijn J.H.鞋垫:
用于局部搜索的线性权重转移规则。 CoRR公司 abs/2303.14894(2023)
2022
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BiereCHKW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BiereCHKW22
阿明·比尔，Solimul Chowdhury马里兰州，Marijn J.H.鞋垫，本杰明·基尔，迈克尔·沃伦:
迁移解算器状态。坐 2022:27:1-27:24
2021
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-2105-04595
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-04595
Solimul Chowdhury马里兰州，马丁·米勒，嘉惠游:
深入探讨产生冲突的决策。 CoRR公司 abs/2105.04595(2021)
2020
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/乔杜里MY20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/ChowdhuryMY20网站
Solimul Chowdhury马里兰州，马丁·米勒，嘉惠游:
通过冲突抑郁中的随机探索指导CDCL SAT搜索。 AAAI公司 2020:1428-1435

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/Chowdhury0Y19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/Chowdhury0Y19
Solimul Chowdhury马里兰州，马丁·米勒，嘉惠游:
利用粘合子句设计有效的CDCL分支启发式。人物配对关系 2019:126-143
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-11106
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-11106
Solimul Chowdhury马里兰州，马丁·米勒，嘉惠游:
CDCL SAT解决中粘合变量的特征。 CoRR公司 abs/1904.11106(2019)
2018
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/Chowdhury 2018车型年款
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/ChowdhuryMY18
Solimul Chowdhury马里兰州，马丁·米勒，嘉惠游:
探索驱动可满足性求解的初步结果。 AAAI公司 2018:8069-8070
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1805-07795
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-07795
Solimul Chowdhury马里兰州:
无线充电无线传感器网络中的任务和能量感知节点布局。 CoRR公司 abs/1805.07795(2018)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1805-08256
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-08256
Solimul Chowdhury马里兰州，维克托·席尔瓦:
带有构建块的进化实时启发式搜索算法。 CoRR公司 abs/1805.08256(2018)
2016
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ai/LiuBCYF16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ai/LiuBCYF16
刘芳芳，一笔，Solimul Chowdhury马里兰州，嘉惠游，冯志勇:
近似不动点理论的柔性逼近器。加拿大人工智能 2016:224-236
2014
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/乔杜里LCKY14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/ChowdhuryLCKY14
Solimul Chowdhury马里兰州，刘芳芳，吴晨，阿拉什·卡里米，嘉惠游:
广义原子逻辑程序的良好语义多项式逼近：案例研究。洛普斯特 2014:279-296
2012
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/ChowdhuryY12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/ChowdhuryY12
Solimul Chowdhury马里兰州，嘉惠游:
具有全局约束的SAT。国际通信技术协会 2012:73-80

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。