会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Investigating Simple Drawings of $K_n$ using SAT
Arxiv
0+阅读 · 4月3日
SAT: Dynamic Spatial Aptitude Training for Multimodal Language Models
SAT: Dynamic Spatial Aptitude Training for Multimodal Language Models
Arxiv
0+阅读 · 4月3日
SAT problem and Limit of Solomonoff's inductive reasoning theory
Arxiv
0+阅读 · 4月1日
Counterexample to Winkler's conjecture on Venn diagrams
Arxiv
0+阅读 · 3月24日
Simplifier: A New Tool for Boolean Circuit Simplification
Arxiv
0+阅读 · 3月24日
Recurrent CircuitSAT Sampling for Sequential Circuits
Arxiv
0+阅读 · 2月28日
Recurrent CircuitSAT Sampling for Sequential Circuits
Arxiv
0+阅读 · 3月3日
Proof-Driven Clause Learning in Neural Network Verification
Arxiv
0+阅读 · 3月15日
Structure-Aware Computing, Partial Quantifier Elimination And SAT
Arxiv
0+阅读 · 3月1日
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
Arxiv
0+阅读 · 2月25日
On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
Arxiv
0+阅读 · 2月24日
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Arxiv
0+阅读 · 2月20日
One Model to Rule them All: Towards Universal Segmentation for Medical Images with Text Prompts
Arxiv
0+阅读 · 2月5日
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Arxiv
0+阅读 · 2月20日
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
Arxiv
0+阅读 · 1月29日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top