基于Oracle的伪布尔优化局部搜索 |
Markus Iser、Jeremias Berg、Matti Järvisalo |
第26届欧洲人工智能会议记录(ECAI 2023) |
2023 |
2023年SAT竞赛记录:解算器、基准和校对器说明 |
编辑:TomášBalyo、Marijn Heule、Markus Iser、Matti Järvisalo、Martin Suda |
赫尔辛基大学计算机科学系 |
2023 |
SAT求解器基准测试的主动学习 |
托比亚斯·福克斯、雅各布·巴赫、马库斯·伊瑟 |
系统构建和分析工具和算法国际会议(TACAS 2023) |
2023 |
近期SAT求解器k-组合的综合研究 |
雅各布·巴赫、马库斯·伊瑟、克莱门斯·伯姆 |
满意度测试理论与应用国际会议(SAT 2022) |
2022 |
Dinosat:具有本地DNF支持的SAT解算器 |
托马斯·巴特尔、托马斯·巴利奥、马库斯·伊泽尔 |
SAT的语用学(POS 2022) |
2022 |
SATViz:Clausal校对的实时可视化 |
Tim Holzenkamp、Kevin Kuryshev、Thomas Oltmann、Lucas Wäldele、,
Johann Zuber、Tobias Heuer和Markus Iser |
SAT的语用学(POS 2022) |
2022 |
稳定观测下的单位传播(+视频) |
托马斯·巴利奥·马库斯·伊瑟 |
第27届约束规划原理与实践国际会议(CP 2021) |
2021 |
基于满意度的产品配置器有效域的快速近似计算 |
约翰内斯·沃纳、托马斯·巴利奥、马库斯·伊瑟、迈克尔·克莱因 |
第23次配置研讨会(ConfWS 2021) |
2021 |
2020年SAT竞赛 |
Nils Froleyks、Marijn Heule、Markus Iser、Matti Järvisalo、Martin Suda |
人工智能杂志 |
2021 |
基准实例及其属性的协同管理 |
马库斯·伊瑟(Markus Iser)、卢卡·斯普林格(Luca Springer)、卡斯滕·辛兹(Carsten Sinz) |
arXiv预印本 |
2020 |
2020年SAT竞赛记录:解算器和基准描述 |
编辑:TomášBalyo、Nils Froleyks、Marijn Heule、Markus Iser、Matti Järvisalo、Martin Suda |
赫尔辛基大学计算机科学系 |
2020 |
SAT求解中门结构的识别与开发(论文) |
马库斯·伊泽尔 |
德国卡尔斯鲁厄理工学院 |
2020 |
带内处理的高效内存并行SAT求解 |
Markus Iser、TomášBalyo、Carsten Sinz |
IEEE第31届人工智能工具国际会议(ICTAI 2019) |
2019 |
2019年SAT竞赛糖果 |
费利克斯·库兹纳(Felix Kutzner),马库斯·伊泽尔(Markus Iser) |
2019年SAT比赛 |
2019 |
布尔可满足性问题求解实验的系统分析 |
马库斯·伊泽尔 |
重复数据消除streffen |
2019 |
集成静态代码分析工具链 |
马蒂亚斯·克恩、费哈特·埃拉塔、马库斯·伊瑟、卡斯滕·辛兹、弗雷德里克·洛伊特、斯特凡·奥滕、埃里克·萨克斯 |
IEEE第43届计算机软件和应用年会(COMPSAC) |
2019 |
用于SAT研究的问题元数据库 |
马克斯·伊瑟(Markus Iser)、卡斯滕·辛兹(Carsten Sinz) |
SAT语用学论文集 |
2019 |
在SAT求解器中使用门识别和随机模拟进行欠逼近和优化分支 |
Markus Iser、Felix Kutzner、Carsten Sinz |
IEEE第29届人工智能工具国际会议(ICTAI 2017) |
2017 |
糖果王国的系统描述——SAT解决方案的甜蜜家族 |
费利克斯·库兹纳(Felix Kutzner),马库斯·伊泽尔(Markus Iser) |
2017年SAT竞赛 |
2017 |
2015年SAT竞赛 |
TomášBalyo、Armin Biere、Markus Iser、Carsten Sinz |
人工智能杂志 |
2016 |
豆类和鸡蛋-葡萄糖蛋白质3.0 |
马库斯·伊泽尔 |
2016年SAT竞赛 |
2016 |
CNF公式中嵌套门的识别 |
马库斯·伊瑟(Markus Iser)、诺伯特·曼泰(Norbert Manthey)、卡斯滕·辛兹(Carsten Sinz) |
满意度测试理论与应用国际会议(SAT 2015) |
2015 |
Tseitin编码SAT实例的最小化模型 |
马库斯·伊泽尔(Markus Iser)、卡斯滕·辛兹(Carsten Sinz)、玛娜·塔格迪里(Mana Taghdiri) |
可满足性测试理论与应用国际会议(SAT 2013) |
2013 |
关系模型查找器Kodkod的MiniSAT变量排序优化 |
马库斯·伊瑟、玛娜·塔格迪里、卡斯滕·辛兹 |
满意度测试理论与应用国际会议(SAT 2012) |
2012 |
2009年SAT竞赛MiniSAT 09z |
马库斯·伊泽尔 |
2009年SAT竞赛小册子 |
2009 |
DPLL程序的问题敏感重启启发式 |
马库斯·伊瑟·卡斯滕·辛兹 |
国际可满足性测试理论与应用会议(SAT 2009) |
2009 |