会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Arxiv
0+阅读 · 10月30日
SATURN: SAT-based Reinforcement Learning to Unleash Language Model Reasoning
Arxiv
0+阅读 · 10月29日
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Arxiv
0+阅读 · 10月28日
Orthogonal Latin Squares of Order Ten with Two Relations: A SAT Investigation
Arxiv
0+阅读 · 10月26日
Symbolic Sets for Proving Bounds on Rado Numbers
Arxiv
0+阅读 · 10月26日
Structural Origin and the Minimal Syntax of NP-Hardness: Analysis of SAT from Syntactic Generativity and Compositional Collapse
Arxiv
0+阅读 · 10月18日
k-SUM Hardness Implies Treewidth-SETH
Arxiv
0+阅读 · 10月15日
The Structure of In-Place Space-Bounded Computation
Arxiv
0+阅读 · 10月13日
A Customized SAT-based Solver for Graph Coloring
Arxiv
0+阅读 · 10月14日
Efficient Decomposition Identification of Deterministic Finite Automata from Examples
Arxiv
0+阅读 · 10月12日
Data-light Uncertainty Set Merging with Admissibility
Arxiv
0+阅读 · 10月11日
k-SUM Hardness Implies Treewidth-SETH
Arxiv
0+阅读 · 10月9日
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日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top