登录后查看消息通知
搜索
常见问题
消息
登录
首页
/
数据集
/
Computing Optimal Hypertree Decompositions with SAT - Results
Computing Optimal Hypertree Decompositions with SAT - Results
收藏
Zenodo
2022-07-14 更新
2026-04-07 收录
超树分解优化
SAT求解器
数据链接：
https://zenodo.org/record/6832105
数据链接
链接失效反馈
官方服务：
问题咨询
购买咨询
在线客服
NEW
资源简介：
The data from our experiments.
应用场景：
提供机构：
Schidler, Andre; Szeider, Stefan
创建时间：
2022-07-14
相关数据集
SAT Race 2008 Benchmarks
SAT求解器
可满足性问题评估
These are the 100 CNF files in DIMACS format from the main track of the SAT race 2008.
NIAID Data Ecosystem
5
0
Comparative results of AspiPT, Ptwqcc, AspiSAT and Swqcc on random 5-SAT instances and random 7-SAT instances.
SAT求解器
随机k-SAT问题
Comparative results of AspiPT, Ptwqcc, AspiSAT and Swqcc on random 5-SAT instances and random 7-SAT instances.
NIAID Data Ecosystem
4
0
HtdLEO Results
超树分解优化
SAT求解算法
Results for the IJCAI'21 paper "Computing Optimal Hypertree Decompositions with SAT"
NIAID Data Ecosystem
3
0
The effect of learned clauses (without deletion) on the number of conflicts used by Glucose 4.1.
SAT求解器
学习子句策略分析
The effect of learned clauses (without deletion) on the number of conflicts used by Glucose 4.1.
NIAID Data Ecosystem
5
0
Experimental Data for the Paper "A Comprehensive Study of k-Portfolios of Recent SAT Solvers"
SAT求解器
组合策略
These are the experimental data for the paper > Bach, Jakob, Markus Iser, and Klemens Böhm. "A Comprehensive Study of k-Portfolios of Recent SAT Solvers" accepted at the conference [*SAT 2022*](htt
DataCite Commons
2022-05-30 更新
3
0
© 2023-2026 上海数据发展科技有限责任公司 版权所有
沪ICP备17003045号-15
沪公网安备31010402336585号
热门搜索
社区交流群
科研交流群
商业服务
数据资源
寻源服务
数据采集
标注服务
数据产品
代理销售
数据领域
凭证登记
数据产品
介绍推广
