默认搜索操作

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

问别人

2021年可满足性手册

>主页 >系列

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/336
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/336
阿明·比尔,Marijn鞋跟,汉斯·范·马伦,托比·沃尔什:
可满足性手册-第二版。人工智能和应用的前沿336,IOS出版社 2021，国际标准图书编号978-1-64368-160-3
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/FrancoM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/FrancoM21
法兰柯,约翰·马丁:
可满足性历史。 3-74
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Prestwich21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Prestwich21
史蒂文·普雷斯特维奇:
CNF编码。 75-100
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/DarwicheP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/DarwicheP21
阿德南·达维切,结Pipatsrisawat:
完整算法。 101-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/0001LM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/0001LM21
乔安·马奎斯·西尔瓦,Inés Lync公司,莎拉·马利克:
冲突驱动子句学习SAT解算器。 133-182
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/HeuleM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/HeuleM21
Marijn J.H.鞋垫,汉斯·范·马伦:
基于Look-Ahead的SAT解算器。 183-212
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/KautzSS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/KautzSS21
亨利·A·考茨,阿什什·萨巴瓦尔,巴特·塞尔曼:
算法不完整。 213-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BussN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BussN21网址
萨姆·巴斯,雅各布·诺德斯特伦:
证明复杂性和SAT解决。 233-350
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Kullmann21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Kullmann21
奥利弗·库尔曼:
分支启发式的基础。 351-390
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BiereJK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BiereJK21
阿明·比尔,马蒂·贾维萨洛,本杰明·基尔:
SAT求解中的预处理。 391-435
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Achlioptas21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Achlioptas21
迪米特里斯·阿奇利奥普塔斯:
随机可满足性。 437-462
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/GomesS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/GomesS21
卡拉·戈麦斯,阿什什·萨巴瓦尔:
利用完整解算器中的运行时变化。 463-480
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/HoosHL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/HoosHL21
霍尔格·H·胡斯,弗兰克·赫特,凯文·莱顿-布朗:
SAT解算器的自动配置和选择。 481-507
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Sakallah21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Sakalah21
卡里姆·A·萨卡拉:
对称性和可满足性。 509-570
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BuningK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BuningK21
汉斯·克莱恩·勃宁,奥利弗·库尔曼:
最低不满意度和辅助性。 571-633
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Heule21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Heule21
Marijn J.H.鞋垫:
不满意的证明。 635-668
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/DantsinH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/DantsinH21
叶夫根尼·丹钦,爱德华·赫施:
最坏情况上限。 669-692
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/SamerS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/SamerS21
马尔科·萨默,斯特凡·塞德尔:
固定参数牵引性。 693-736
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Biere21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Biere21
阿明·比尔:
边界模型检查。 739-764
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Rintanen21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Rintanen21
尤西·林塔南:
规划和SAT。 765-789
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Kroening 21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Kroening21
丹尼尔·克罗宁:
软件验证。 791-818
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Zhang21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/张21
张汉涛:
SAT Solvers的组合设计。 819-858
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/AltarelliMSZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/AltarelliMSZ21
法布里齐奥·阿尔塔雷利,雷米·莫纳松,吉勒亨·塞梅尔建（Guilhem Semerjian）,弗朗西斯科·赞波尼:
与统计物理学的联系。 859-901
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/LiM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/LiM21
朱敏莉,Felip Manyá:
MaxSAT、硬约束和软约束。 903-927
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BacchusJM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BacchusJM21
法希姆·巴克斯,马蒂·贾维萨洛,鲁本·马丁斯:
最大可满足性。 929-991
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/GomesSS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/GomesSS21
卡拉·戈麦斯,阿什什·萨巴瓦尔,巴特·塞尔曼:
模型计数。 993-1014
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/ChakrabortyMV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/ChakrabortyMV21
Supratik查克拉博蒂,库尔德普·S·梅尔,莫舍·瓦尔迪:
近似模型计数。 1015-1045
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Drechsler JN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/DrechslerJN21
罗尔夫·德雷克斯勒,汤米·A·琼蒂拉,伊尔卡·尼梅尔:
非条款SAT和ATPG。 1047-1086
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/RousselM21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/RousselM21
奥利维尔·罗塞尔,瓦斯科·曼奎尼奥:
伪布尔约束和基数约束。 1087-1129
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BuningB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BuningB21
汉斯·克莱恩·勃宁,乌维·布贝克:
量化布尔公式理论。 1131-1156
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/GiunchigliaMN21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/GiunchigliaMN21
恩里科·金奇利亚,保罗·马林,马西莫·纳里扎诺:
使用量化布尔公式进行推理。 1157-1176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BeyersdorffJLS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BeyersdorffJLS21
奥拉夫·贝耶斯多夫,米科拉斯·加诺塔,弗洛里安·朗辛,马蒂娜·塞德尔:
量化布尔公式。 1177-1221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/SebastianiT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/SebastianiT21
罗伯托·塞巴斯蒂亚尼,阿曼多·塔切拉:
模态和描述逻辑的SAT技术。 1223-1266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/BarrettSST21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/BarrettSST21
克拉克·W·巴雷特,罗伯托·塞巴斯蒂亚尼,桑吉特·塞希亚,塞萨尔·蒂内利:
可满足性模理论。 1267-1329
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 系列/faia/Majercik21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/series/faia/Majercik21
斯蒂芬·马杰西克:
随机布尔可满足性。 1331-1369

管理网站设置

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