成为VIP会员查看完整内容
VIP会员码认证
首页
主题
发现
会员
服务
注册
·
登录
SAT
关注
0
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外,它还包括布尔优化(如MaxSAT和伪布尔(PB)约束)、量化布尔公式(QBF)、可满足性模理论(SMT)和约束规划(CP),用于与布尔级推理有明确联系的问题。官网链接:
http://sat2019.tecnico.ulisboa.pt/ a>
综合
百科
VIP
热门
动态
论文
精华
Between proof construction and SAT-solving
Arxiv
0+阅读 · 5月9日
Using finite automata to compute the base-$b$ representation of the golden ratio and other quadratic irrationals
Arxiv
0+阅读 · 5月4日
Logical analysis and contradiction detection in high-level requirements during the review process using sat-solver
Arxiv
0+阅读 · 4月30日
An Oracle with no $\mathrm{UP}$-Complete Sets, but $\mathrm{NP}=\mathrm{PSPACE}$
Arxiv
0+阅读 · 4月29日
Problems in NP can Admit Double-Exponential Lower Bounds when Parameterized by Treewidth or Vertex Cover
Arxiv
0+阅读 · 4月30日
An Incremental MaxSAT-based Model to Learn Interpretable and Balanced Classification Rules
Arxiv
0+阅读 · 4月29日
Limits of Sequential Local Algorithms on the Random $k$-XORSAT Problem
Arxiv
0+阅读 · 4月27日
Towards Classical Software Verification using Quantum Computers
Arxiv
0+阅读 · 4月29日
Child Speech Recognition in Human-Robot Interaction: Problem Solved?
Arxiv
0+阅读 · 4月26日
Certified MaxSAT Preprocessing
Arxiv
0+阅读 · 4月26日
Revisiting Restarts of CDCL: Should the Search Information be Preserved?
Arxiv
0+阅读 · 4月25日
Local Computing By Partial Quantifier Elimination
Arxiv
0+阅读 · 4月23日
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers
Arxiv
0+阅读 · 4月19日
On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
Arxiv
0+阅读 · 4月18日
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories
Arxiv
0+阅读 · 4月18日
参考链接
父主题
Springer
计算机科学理论
提示
微信扫码
咨询专知VIP会员与技术项目合作
(加微信请备注: "专知")
微信扫码咨询专知VIP会员
Top