停止战争！

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

对于科学家：

默认搜索操作

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

问别人

托马斯·巴利奥

托马斯·巴利奥

>主页 >珀森斯

人员信息

unicode名称： 托马斯·巴利奥
附属： 德国卡尔斯鲁厄理工学院、理论信息学院
附属： 捷克共和国布拉格查尔斯大学理论计算机科学和数学逻辑系

优化列表

优化激活！

放大了??属于??记录

查看优化列表

将细化列表导出为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2402-10725
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-10725
斯拉沃米尔·斯万察,卢卡斯·克尔帕,菲利普·德沃拉克,托马斯·巴利奥:
云厨房：使用基于规划的复合人工智能优化食品配送流程。 CoRR公司 abs/2402.10725(2024)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2402-10726
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-10726
托马斯·巴利奥,马丁·苏达,卢卡斯·克尔帕,多米尼克·萨法内克,菲利普·德沃拉克,罗曼·巴塔克,G.迈克尔·扬布拉德:
从状态跟踪中学习规划行动模型。 CoRR公司 abs/2402.10726(2024)
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2402-12393
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-12393
托马斯·巴利奥,G.迈克尔·扬布拉德,菲利普·德沃拉克,罗曼·巴塔克:
通过规划和学习实现视频游戏测试自动化。 CoRR公司 abs/2402.12393(2024)
2023
[公元28年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/confws/GorenfloBIO23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/confws/GorenfloBIO23
马蒂亚斯·戈伦弗洛,托马斯·巴利奥,马库斯·伊泽尔,托比亚斯·奥斯特塔格:
基于约束的产品配置器中的决策启发。 ConfWS公司 2023:51-59
[公元27年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/confws/PopovBIO23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/confws/PopovBIO23
马克西姆·波波夫,托马斯·巴利奥,马库斯·伊泽尔,托比亚斯·奥斯特塔格:
产品配置决策图的构建。 ConfWS公司 2023:108-117
2022
[公元26年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/splc/KucherBC22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/splc/KucherBC22
马克西米利安·库彻,托马斯·巴利奥,诺埃米·克里斯滕森:
配置系统中的黑盒优化。 SPLC（乙） 2022:229-236
[公元25年]
- 看法
  - 电子版@aisnet.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/wi/BodeSB22型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wi/BodeSB22
简·博德,Max Schemmer公司,托马斯·巴利奥:
基于约束的专家系统的可解释人工智能。经济信息学 2022
2021
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/artsit/BalyoF21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/artsit/BalyoF21
托马斯·巴尔约,尼尔斯·弗罗莱克斯:
使用自动规划的人工智能辅助索科班谜题设计。艺术SIT 2021:424-441
【c23】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/confws/WernerBIK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/confws/WernerBIK21
约翰内斯·沃纳,托马斯·巴利奥,马库斯·伊泽尔,迈克尔·克莱因:
基于满意度的产品配置器中有效域的快速近似计算。 ConfWS公司 2021:24-32
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/IserB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/IserB21
马库斯·伊泽尔,托马斯·巴利奥:
单位传播与稳定的手表（短文）。人物配对关系 2021:6:1-6:8
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cp/UllmannBK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cp/UllmannBK21
尼尔斯·梅林·乌尔曼,托马斯·巴利奥,迈克尔·克莱因:
并行化基于SAT的产品配置程序。人物配对关系 2021:55:1-55:18

2010 – 2019

请参阅常见问题解答

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

2019
[公元20年]
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aips/SchreiberPFB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aips/SchreiberPFB19
多米尼克·施赖伯,达米安·佩利尔,亨伯特·菲奥里诺,托马斯·巴利奥:
Tree-REX：基于SAT的树探索，用于高效和高质量的HTN规划。 ICAPS公司 2019:382-390
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icart/SchreiberPFB19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icart/SchreiberPFB19
多米尼克·施赖伯,达米安·佩利尔,亨伯特·菲奥里诺,托马斯·巴利奥:
用于分层规划的高效SAT编码。 ICAART（2） 2019:531-538
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icfem/BuningBS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icfem/BuningBS19
马克·克莱恩·勃宁,托马斯·巴利奥,卡斯滕·辛兹:
使用DimSpec进行有界和无界软件模型检查。 ICFEM公司 2019:19-35
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/IserBS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/IserBS19
马库斯·伊泽尔,托马斯·巴利奥,卡斯滕·辛兹:
带Inprocessing的内存高效并行SAT求解。国际通信技术协会 2019:64-70
[c16]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/FiegerB0S19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/FiegerB0S19
凯·菲格,托马斯·巴利奥,克里斯蒂安·舒尔茨,多米尼克·施赖伯:
通过并行动态规划找到最优最长路径。 SOCS系统 2019:61-69
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/FroleyksBS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/FroleyksBS19
尼尔斯·克里斯蒂安·弗罗莱克斯,托马斯·巴利奥,多米尼克·施赖伯:
PASAR-通过抽象精炼实现规划的可满足性。 SOCS系统 2019:70-78
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1905-03645
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-03645
凯·菲格,托马斯·巴尔约,克里斯蒂安·舒尔茨,多米尼克·施赖伯:
通过并行动态规划找到最优最长路径。 CoRR公司 abs/1905.03645(2019)
2018
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/BalyoC18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/BalyoC18
托马斯·巴利奥,卢卡斯·克尔帕:
使用算法配置工具生成硬SAT基准。 SOCS系统 2018:133-137
[第1页]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - books/sp/18/BalyoS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/sp/18/BalyoS18
托马斯·巴利奥,卡斯滕·辛兹:
并行可满足性。并行约束推理手册 2018:3-29
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-04174
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-04174
马克·克莱恩·勃宁,托马斯·巴利奥,卡斯滕·辛兹:
基于增量SAT求解的无边界软件模型检查。 CoRR公司 abs/1802.04174(2018)
2017
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/BalyoHJ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/BalyoHJ17
托马斯·巴尔约,Marijn J.H.鞋垫,马蒂·贾维萨洛:
2016年SAT竞赛：最新发展。 AAAI公司 2017:5061-5063
[第12条]
- 看法
  - 电子版@aaai.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/aips/GochtB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aips/GochtB17网址
斯蒂芬·戈赫特,托马斯·巴利奥:
通过增量SAT求解加速基于SAT的规划。 ICAPS公司 2017:135-139
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/FroleyksB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/FroleyksB17网址
尼尔斯·克里斯蒂安·弗罗莱克斯,托马斯·巴利奥:
使用算法组合求解Sokoban。 SOCS系统 2017:165-166
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BalyoFS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BalyoFS17
托马斯·巴利奥,凯·费格尔,克里斯蒂安·舒尔茨:
动态规划的最优最长路径。 CoRR公司 abs/1702.04170(2017)
2016
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/ai/BalyoBIS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/BalyoBIS16
托马斯·巴利奥,阿明·比尔,马库斯·伊泽尔,卡斯滕·辛兹:
2015年SAT竞赛。 Artif公司。智力。 241:45-65(2016)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BalyoL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BalyoL16
托马斯·巴利奥,弗洛里安·朗辛:
HordeQBF：模块化和大规模并行QBF求解器。坐 2016:531-538
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BalyoL16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BalyoL16
托马斯·巴利奥,弗洛里安·朗辛:
HordeQBF：模块化和大规模并行QBF求解器。 CoRR公司 abs/1604.03793(2016)
2015
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/Balyo15春夏
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BalyoSS15
托马斯·巴利奥,彼得·桑德斯,卡斯滕·辛兹:
HordeSat：大规模并行组合SAT解算器。坐 2015:156-172
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/BalyoB15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/BalyoB15
托马斯·巴利奥,罗曼·巴塔克:
没有一个SATPlan编码来统治所有人。 SOCS系统 2015:146-150
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/BalyoSS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BalyoSS15
托马斯·巴利奥,彼得·桑德斯,卡斯滕·辛兹:
HordeSat：大规模并行组合SAT解算器。 CoRR公司 abs/1505.03340(2015)
2014
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/BalyoFHB14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/BalyoFHB14
托马斯·巴利奥,安德烈亚斯·弗罗里奇,Marijn鞋跟,阿明·比尔:
关于阻塞集你一直想知道的一切（但我们害怕问）。坐 2014:317-332
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/BalyoCK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/BalyoCK14
托马斯·巴尔约,卢卡斯·克尔帕,阿斯玛·基拉尼:
从计划中消除冗余行动的不同策略。 SOCS系统 2014:10-18
2013
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ai/BabkaBCGKV13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ai/BabkaBCGKV13
马丁·巴布卡,托马斯·巴利奥,昂德雷·塞佩克,斯特凡·古尔斯克,彼得·库塞拉,瓦克拉夫·弗切克:
与传播完整性相关的复杂性问题。 Artif公司。智力。 203:19-34(2013)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/Balyo13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/Balyo13
托马斯·巴利奥:
放松放松的现有步骤并行规划语义。国际通信技术协会 2013:865-871
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sera/BabkaBK13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sera/BabkaBK13
马丁·巴布卡,托马斯·巴利奥,雅罗斯拉夫·凯兹尼克:
通过寻找布尔公式的最小满意赋值，用代价高昂的决策过程解决SMT问题。 SERA（精选论文） 2013:231-246
2012
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/BalyoBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/BalyoBS12
托马斯·巴利奥,罗曼·巴塔克,Pavel Surynek公司:
通过当地重新规划缩短计划。国际通信技术协会 2012:1022-1028
【c2】
- 看法
  - 电子版@uic.edu（存档）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/isaim/VlcekBGK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isaim/VlcekBGK12
瓦克拉夫·弗切克,托马斯·巴利奥,斯特凡·古尔斯克,彼得·库塞拉:
在SLUR类的层次结构上。 ISAIM公司 2012
[c1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/socs/BalyoBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/socs/BalyoBS12
托马斯·巴利奥,罗曼·巴塔克,Pavel Surynek公司:
通过局部增强提高计划质量。 SOCS系统 2012:154-156

合著者索引

请参阅常见问题解答

服务

管理网站设置

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