×
亚历山德罗·西马蒂（编辑）;罗伯托·塞巴斯蒂亚尼（编辑）

满意度测试的理论和应用——2012年SAT。第15届国际会议，意大利特伦托，2012年6月17日至20日。诉讼程序。 （英语） Zbl 1268.68009号

计算机科学课堂讲稿7317.柏林：施普林格出版社（ISBN 978-3-642-31611-1/pbk）。xiii，504页。(2012).

将索引文章显示为搜索结果。

本卷的文章将单独进行审查。有关上一次会议，请参阅[兹比尔1215.68023].
索引文章：
亚伦·R·布拉德利。，了解IC3，1-14[Zbl 1273.68222号]
阿德里安·巴林特（Adrian Balint）；乌韦州Schöning，为随机局部搜索选择概率分布以及成败的作用，16-29[兹比尔1273.68333]
亚历山大·古提亚耶娃；法希姆·巴克斯，离线：重新检查CDCL算法，30-43[Zbl 1273.68348号]
玛丽亚·路易莎（Maria Luisa Bonet）；萨姆·巴斯，改进了常规解析与池解析和子句学习的分离，44-57[Zbl 1273.03048号]
弗里德里希·斯利沃夫斯基（Friedrich Slivovsky）；斯泽德，斯特凡，计算线性时间内的分辨率路径依赖性，58-71[Zbl 1273.68187号]
谢尔盖·加斯佩斯（Serge Gaspers）；斯泽德，斯特凡，嵌套可满足性的强大后门，72-85[Zbl 1273.68169号]
范·盖尔德，艾伦；伍德（Samuel B.Wood）。；弗洛里安·朗辛，量化布尔公式的扩展失效线性预处理，86-99[Zbl 1273.68189号]
埃格利，乌韦，关于QBF的后续系统和分辨率，100-113[Zbl 1273.03161号]
米科拉什·哈诺塔；威廉·克利伯（William Klieber）；若昂·西尔瓦侯爵；埃德蒙·克拉克，用反例引导求精求解QBF，114-128[Zbl 1273.68178号]
瓦莱里·巴拉巴诺夫；蒋慧菊凯瑟琳；蒋洁红·罗兰，亨金量词和布尔公式，129-142[Zbl 1273.03046号]
霍德、克里什托夫；尼古拉·比约纳，广义属性定向可达性，157-171[Zbl 1273.68229号]
张健；马，菲菲；张志强，通过约束求解和优化识别错误交互，186-199[Zbl 1273.68367号]
亚历山大·纳达尔（Alexander Nadel）；瓦迪姆·里夫钦，假设条件下的有效SAT求解，242-255[兹比尔1273.68358]
亚历山大·纳达尔（Alexander Nadel）；瓦迪姆·里夫钦；斯特里赫曼（Ofer Strichman），增量SAT中的预处理，256-269[Zbl 1273.68359号]
奥利弗·库尔曼；赵西顺，关于Davis-Putnam对最低不可满足条款集的约简，270-283[兹比尔1273.03050]
安东尼奥·莫尔加多；费德里科·赫拉斯（Federico Heras）；若昂·西尔瓦侯爵，MaxSAT核心引导二进制搜索的改进，284-297[Zbl 1273.68357号]
安东·贝洛夫（Anton Belov）；亚历山大·伊夫里；阿里·马茨利亚；若昂·西尔瓦侯爵，关于变量MUS的有效计算，298-311[Zbl 1273.03047号]
乔治·威森巴赫，重温国际刑警组织实力，312-326[Zbl 1273.03051号]
Achlioptas，Dimitris；蒙查卡-蒙德斯，里卡多，可满足随机3-CNF公式上DPLL算法的指数下界，327-340[Zbl 1273.68143号]
纳迪亚·克里诺；赫里贝特·沃尔默，加权可满足性问题的参数化复杂性，341-354[Zbl 1273.68160号]
罗伯特·克劳斯顿（Robert Crowston）；格雷戈里·古汀（Gregory Gutin）；马克·琼斯（Mark Jones）；Raman，Venkatesh；Saket Saurabh；Yeo，安德斯，满足超出变量数的固定参数可处理性，355-368[Zbl 1273.68161号]
马蒂·Järvisalo；佩特里·卡斯基（Petteri Kaski）；米科·科维斯托（Mikko Koivisto）；Janne H.Korhonen。，寻找有效的集成计算电路，369-382[Zbl 1273.68179号]
莱廷，特罗；汤米·琼蒂拉；伊尔卡·尼梅尔，冲突驱动的XOR子句学习，383-396[Zbl 1273.68322号]
Yael Ben-Haim；亚历山大·伊夫里；奥德·玛格利特；阿里·马茨利亚，基数约束的完美哈希和CNF编码，397-409[Zbl 1273.68315号]
卡洛斯·安索特吉；Giráldez-Cru，杰苏斯；约尔迪·利维，SAT公式的社区结构，410-423[兹比尔1273.68331]

引用于1审查
引用于6文件

MSC公司：

68-06 与计算机科学有关的会议记录、会议、收藏等
65年第68季度 算法和问题复杂性分析
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
00B25型 杂项特定利益的会议记录

引文：

兹比尔1215.68023
PDF格式BibTeX公司 XML格式引用
\textit{A.Cimatti}（编辑）和\textit{R.Sebastiani}（编），可满足性测试的理论和应用--SAT 2012。第15届国际会议，2012年6月17日至20日，意大利特伦托。诉讼程序。柏林：施普林格出版社（2012；Zbl 1268.68009）
全文： 内政部