会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Improving SAT Solvers on Orthogonal Latin Square Problems
Arxiv
0+阅读 · 5月4日
A Resolution-Based Interactive Proof System for UNSAT
Arxiv
0+阅读 · 4月2日
A Simple Constructive Bound on Circuit Size Change Under Truth Table Perturbation
Arxiv
0+阅读 · 3月10日
Multi-User mmWave Beam and Rate Adaptation via Combinatorial Satisficing Bandits
Arxiv
0+阅读 · 4月16日
ETH Flippers Approach to Parallel Reconfiguration of Triangulations: SAT formulation and Heuristics
Arxiv
0+阅读 · 3月23日
Function Recovery Attacks in Gate-Hiding Garbled Circuits using SAT Solving
Arxiv
0+阅读 · 4月17日
Search-Driven Clause Learning for Product-State Quantum $k$-SAT (PRODSAT-QSAT)
Arxiv
0+阅读 · 3月20日
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Arxiv
0+阅读 · 4月22日
Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
Arxiv
0+阅读 · 4月30日
Solving the Two-dimensional single stock size Cuting Stock Problem with SAT and MaxSAT
Arxiv
0+阅读 · 4月2日
Mind the Gap? Not for SVP Hardness under ETH!
Arxiv
0+阅读 · 4月21日
Implementation of Polynomial NP-Complete Algorithms Based on the NP Verifier Simulation Framework
Arxiv
0+阅读 · 4月29日
When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
Arxiv
0+阅读 · 3月19日
A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving
Arxiv
0+阅读 · 4月20日
A Counterexample to EFX; $n \ge 3$ Agents, $m \ge n + 5$ Items, Monotone Valuations; via SAT-Solving
Arxiv
0+阅读 · 4月21日
参考链接
微信扫码咨询专知VIP会员
Top