会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Determining unit distance graphs with coordinates in $\mathbb{Z}^2$ is NP-complete
Arxiv
0+阅读 · 2月25日
A Geometric Perspective on the Difficulties of Learning GNN-based SAT Solvers
Arxiv
0+阅读 · 3月4日
Rethinking Clause Management for CDCL SAT Solvers
Arxiv
0+阅读 · 2月24日
A Tight Double-Exponentially Lower Bound for High-Multiplicity Bin Packing
Arxiv
0+阅读 · 2月18日
A Resolution-Based Interactive Proof System for UNSAT
Arxiv
0+阅读 · 2月17日
Flexible constraint satisfiability and a problem in semigroup theory
Arxiv
0+阅读 · 2月10日
Extending Ghouila-Houri's Characterization of Comparability Graphs to Temporal Graphs
Arxiv
0+阅读 · 2月13日
SAT Encodings for Bandwidth Coloring: A Systematic Design Study
Arxiv
0+阅读 · 2月9日
Wrivinder: Towards Spatial Intelligence for Geo-locating Ground Images onto Satellite Imagery
Arxiv
0+阅读 · 2月16日
On the Expressive Power of GNNs for Boolean Satisfiability
Arxiv
0+阅读 · 2月9日
Intermediate Results on the Complexity of STRIPS$_{1}^{1}$
Arxiv
0+阅读 · 2月9日
Structure-Aware Computing, Partial Quantifier Elimination And SAT
Arxiv
0+阅读 · 2月5日
Optimal Monotone Depth-Three Circuit Lower Bounds for Majority
Arxiv
0+阅读 · 2月3日
Reading Between the Code Lines: On the Use of Self-Admitted Technical Debt for Security Analysis
Arxiv
0+阅读 · 2月3日
Seeing through Satellite Images at Street Views
Arxiv
0+阅读 · 2月3日
参考链接
微信扫码咨询专知VIP会员
Top