会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
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日
The PRODSAT phase of random quantum satisfiability
Arxiv
0+阅读 · 1月14日
AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
Arxiv
0+阅读 · 1月20日
Diagonalization Without Relativization A Closer Look at the Baker-Gill-Solovay Theorem
Arxiv
0+阅读 · 1月14日
参考链接
微信扫码咨询专知VIP会员
Top