文件征集
理论与应用国际会议满意度测试(SAT)是专注于理论和应用的研究人员广义命题可满足性问题。此外为了明确命题的可满足性,它还包括布尔型优化(例如MaxSAT和伪布尔(PB)约束),量化布尔公式(QBF),可满足模理论(SMT)和约束编程(CP)与布尔级推理的联系。
使用基于SAT的方法可以解决许多难以解决的组合问题技术,包括正式验证中出现的问题,人工智能、运筹学、计算生物学、,密码学、数据挖掘、机器学习、数学等塞特拉。事实上,SAT研究的理论和实践进展在过去20年中,为SAT技术的发展做出了贡献在各种领域中不可或缺的工具。
2016年SAT旨在通过征集原创在这些领域的理论和实践贡献与可满足性的连接。具体而言,2016年SAT邀请针对SAT不同方面的科学贡献广义解释,包括(但不限于)理论进步(例如精确算法、证明复杂性和其他复杂性问题)、实用搜索算法、知识SAT解算器和基于SAT的编译、实现级详细信息系统、问题编码和重新格式化、应用程序(包括新的应用领域和对现有应用领域的改进方法),以及基于严格的实验。
2016年SAT在美丽的波尔多市举行,波尔多位于法国西南部。波尔多以世界葡萄酒而闻名首都,联合国教科文组织也排名城镇。
跟随http://sat2016.labri.fr/,http://twitter.com/sat2016bordeaux或http://www.facebook.com/sat2016bordeaux/更新。
范围
2016年SAT欢迎针对不同领域的科学贡献可满足性问题的各个方面,从广义上解释感觉。域包括MaxSAT和伪布尔(PB)约束,量化布尔公式(QBF),可满足模理论(SMT)以及约束满足问题(CSP)。话题包括但不限于:
超出范围
论文声称解决了一个重大的长期开放理论数学或计算机科学中的问题(例如提供千年奖,请参阅http://www.claymath.org/millennium-problems(千年问题)),不在范围内因为日程安排中没有足够的时间仲裁此类文件;相反,此类论文应提交给适当的技术期刊。
纸张类别
2016年SAT提交的论文分为三类,描述原始贡献。
- 长篇论文(9至15页,不包括参考文献)
- 短文(最多8页,不包括参考文献)
- 工具文件(最多6页,不包括参考文件)
长篇和短篇论文应包含原创研究有足够的细节来评估贡献。对于报告实验结果的论文,作者是强烈建议提供其数据和实现他们的意见。案例研究的提交报告也包括鼓励,并应描述足够的深度。长论文和短论文将通过以下方式进行评估相同的质量标准,并且预计将包含类似的每页贡献率。
作者应该根据不同的情况在长论文和短论文之间进行选择他们需要的空间来充分描述他们的贡献。这个对长篇和短篇论文进行分类主要是为了在PC成员之间平衡审核过程的工作量。它也会影响会议。作者有责任确保他们的论文在选定的页数范围内是独立的。会的不得对PC提交的文件进行再鉴定。
除了它们的大小限制。工具文件应描述实施的工具和它的新颖特征。在这里,“工具”被解释为广义的,包括已实现解算器、预处理器等的描述,如以及利用SAT解算器或其扩展进行解算的系统有趣的问题域。预计将伴随演示工具演示。描述已经使用过的工具的论文之前提交的内容应包含重要且明确的内容工具的增强功能。
提交的文件不应在别处审查,也不应提交在2016年SAT审查期间,不应包括之前发布的材料。
不符合上述指南的提交文件可能会被退回没有审查。
除了论文本身,作者还可以提交一份补遗,其中包括一个gzipped tarball格式的文件(.tar.gz或.tgz)或gzipped文件(.gz)或zip存档(.zip)。鼓励作者在有助于评审员评估纸张。补充剂的处理程度与像论文本身一样保密。例如,补充可能包含详细的证据、示例、软件、详细的实验与提交文件相关的数据或其他材料。个人评审人员可以查阅补充材料,也可以不查阅;报纸它本身应该是独立的。
长篇和短篇论文可被视为最佳论文奖励。如果主要作者是一名学生,无论是在工作还是写作,这篇论文可能被认为是最好的学生论文奖励。使用提交文件的补充说明(简短地求职信),如果该论文符合学生论文的条件。
有关Springer LNCS样式的信息链接可通过2016年SAT网站http://sat2016.labri.fr/.
所有论文提交都是通过EasyChair独家完成的,网址为http://www.easychair.org/conferences/?conf=sat2016.
每一篇被接受论文的作者应在会议。
诉讼
所有被接受的论文都将在该会议将在斯普林格LNCS内部出版系列。
学生资助
将提供数量有限的学生差旅补助金我们的赞助商。申请人应获得并准备一份声明,详细说明为什么旅行支持需要。此信息应通过电子邮件发送至2016年SAT会议椅子位于sat2016@easychair.org截至2015年3月31日。决定将在通知作者后不久进行。
组织
课程椅
- 法国纳迪亚·克雷尼努·艾克斯·马赛大学
- 法国丹尼尔·勒贝雷阿尔托瓦大学
本地椅子
项目委员会
- Fahiem Bacchus多伦多大学
- Yael Ben-Haim IBM研究
- 奥拉夫·贝耶斯多夫利兹大学
- 阿明·比尔·约翰内斯·开普勒大学
- Nikolaj Bjorner微软研究
- 加泰罗尼亚政治学院玛丽亚·路易莎·博内大学
- 萨姆·巴斯UCSD
- 纳迪亚·克雷尼努Aix-Marseille Universityé,CNRS
- Uwe Egly TU Wien公司
- 辛辛那提约翰·弗兰科大学
- 贾马尔·哈贝特·艾克斯·马赛大学
- Marijn Heule德克萨斯大学奥斯汀分校
- 不列颠哥伦比亚霍尔格·胡斯大学
- 弗赖堡弗兰克·赫特大学
- Mikolas Janota微软研究
- 赫尔辛基马蒂·贾维萨洛大学
- 汉斯·克莱恩·勃宁帕德博恩大学
- 丹尼尔·勒贝雷阿尔托瓦大学
- 里斯本大学Ines Lync INESC-ID/IST
- 马可·马拉泰·迪布里斯(Marco Maratea DIBRIS),热那瓦大学
- 尤里斯本IST Joao Marques-Silva INESC-ID
- 斯特凡·门格尔CNRS
- 亚历山大·纳德尔·因特尔
- Nina Narodytska Samsung Research America公司
- 雅各布诺德斯特伦KTH
- 阿尔伯特·奥利维拉斯加泰罗尼亚技术大学
- 特伦托大学Roberto Sebastiani DISI
- 马蒂娜·塞德尔·约翰内斯·开普勒大学林茨分校
- 中山大学沈玉平逻辑与认知研究所
- Laurent Simon Bordeaux INP,波尔多大学,LaBRI-CNRS
- 神户大学Takehide Soh信息科技中心
- Stefan Szeider TU Wien公司
- 阿伦·范·盖尔德加州大学圣克鲁斯分校
联系人
sat2016@easychair.org