会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
On Equivalent Characterizations of NP in Abstract Models of Computation
Arxiv
0+阅读 · 10月7日
Structural Separation and Semantic Incompatibility in the P vs. NP Problem: Computational Complexity Analysis with Construction Defining Functionality
Arxiv
0+阅读 · 9月26日
Efficient Decomposition Identification of Deterministic Finite Automata from Examples
Arxiv
0+阅读 · 9月29日
Queen Domination by SAT Solving
Arxiv
0+阅读 · 8月16日
Automated Symmetric Constructions in Discrete Geometry
Arxiv
0+阅读 · 5月30日
WalkSAT is linear on random 2-SAT
Arxiv
0+阅读 · 4月11日
Solving SAT By Computing A Stable Set Of Points In Clusters
Arxiv
0+阅读 · 7月17日
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日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top