发布文献求助
亲爱的研友该休息了！由于当前在线用户较少，发布求助请尽量完整的填写文献信息，科研通机器人24小时在线，伴您度过漫漫科研夜！身体可是革命的本钱，早点休息，好梦！

Proof Complexity and the Binary Encoding of Combinatorial Principles

一元运算 编码（内存） 二进制数 分辨率（逻辑） 计算机科学 整数规划 数学 理论计算机科学 算法 离散数学 算术 程序设计语言 人工智能
作者
Stefan Dantchev,Nicola Galesi,Abdul Ghani,Barnaby Martin
出处
期刊：SIAM Journal on Computing [Society for Industrial and Applied Mathematics]
日期：2024-06-24 卷期号：53 (3): 764-802 被引量：1
链接
arxiv.org arxiv.orgdoi.org
标识
DOI：10.1137/20m134784x
摘要
We consider Proof Complexity in light of the unusual binary encoding of certain combinatorial principles. We contrast this Proof Complexity with the normal unary encoding in several refutation systems, based on Resolution and Integer Linear Programming. Please consult the article for the full abstract.
最长约 10秒，即可获得该文献文件
相关文献
科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制，最高150M (2024-4-1)
科研通是完全免费的文献互助平台，具备全网最快的应助速度，最高的求助完成率。 对每一个文献求助，科研通都将尽心尽力，给求助人一个满意的交代。
实时播报
2秒前
Ying完成签到，获得积分10
2秒前
陈媛发布了新的文献求助10
9秒前
睡到自然醒完成签到 ，获得积分10
19秒前
粗犷的半邪完成签到，获得积分10
38秒前
丁宇卓完成签到 ，获得积分10
59秒前
科研通AI2S的应助被科研通管家采纳，获得10
1分钟前
liyanglin完成签到 ，获得积分10
1分钟前
1分钟前
Ava的应助被粗犷的半邪采纳，获得10
1分钟前
陈媛发布了新的文献求助10
2分钟前
charliechen完成签到 ，获得积分10
2分钟前
填充物完成签到 ，获得积分10
2分钟前
2分钟前
ceciiahanhan完成签到，获得积分20
2分钟前
ceciiahanhan发布了新的文献求助30
2分钟前
2分钟前
2分钟前
2分钟前
陈媛发布了新的文献求助10
3分钟前
luckyalias完成签到 ，获得积分10
3分钟前
鱼鱼完成签到 ，获得积分10
3分钟前
3分钟前
开心的听双完成签到，获得积分10
3分钟前
科研通AI2S的应助被科研通管家采纳，获得10
3分钟前
Jj7完成签到，获得积分10
3分钟前
cassie_kk完成签到 ，获得积分10
3分钟前
3分钟前
kaginagain发布了新的文献求助10
3分钟前
自然的思柔完成签到 ，获得积分10
3分钟前
白水完成签到 ，获得积分10
4分钟前
牙鸟完成签到，获得积分10
4分钟前
kaginagain发布了新的文献求助10
4分钟前
橘子海完成签到，获得积分20
5分钟前
橘子海发布了新的文献求助20
5分钟前
5分钟前
国家栋梁发布了新的文献求助10
5分钟前
Orange的应助被doctor采纳，获得10
5分钟前
科研通AI2S的应助被科研通管家采纳，获得10
5分钟前
科研通AI2S的应助被科研通管家采纳，获得10
5分钟前
高分求助中
Earth System Geophysics 1000
Co-opetition under Endogenous Bargaining Power 666
Medicina di laboratorio. Logica e patologia clinica 600
Handbook of Marine Craft Hydrodynamics and Motion Control, 2nd Edition 500
Sarcolestes leedsi Lydekker, an ankylosaurian dinosaur from the Middle Jurassic of England 500
《关于整治突出dupin问题的实施意见》（厅字〔2019〕52号） 500
Language injustice and social equity in EMI policies in China 500
热门求助领域 （近24小时）
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号，转发送积分 3213132
求助须知：如何正确求助？哪些是违规求助？ 2861908
关于积分的说明 8131154
捐赠科研通 2527829
什么是DOI，文献DOI怎么找？ 1361847
科研通“疑难数据库（出版商）”最低求助积分说明 643516
邀请新用户注册赠送积分活动 615877
Copyright © 2020-2025 AbleSci.COM, 科研通, All Right Reserved
科研通是非营利科研互助平台，不忘初心，为科研助力
本站互助的所有文件仅供个人学习研究用，禁止任何人把求助的所得文献进行盈利或传播
版权声明 关于本站 捐赠本站 提交工单 客服中心
皖ICP备2024041134号-1 皖公网安备34019202002308
科研通【文献互助QQ群】：如果您有特殊求助，或发布求助超过24小时未得到应助，可加群求助，群号：941272744【点击一键加群】
科研通【志愿服务QQ群】：如果您热爱文献互助，有热心愿意为更多人服务，请加入小伙伴群，点击申请加入
关注微信服务号
科研通