会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
SAT-Based Techniques for Lexicographically Smallest Finite Models
Arxiv
0+阅读 · 1月14日
Inverse Intersections for Boolean Satisfiability Problems
Arxiv
0+阅读 · 1月5日
Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
Arxiv
0+阅读 · 1月15日
Classical and Quantum Algorithms for the Deterministic L-system Inductive Inference Problem
Arxiv
0+阅读 · 2024年12月30日
Revisiting DRUP-based Interpolants with CaDiCaL 2.0
Arxiv
0+阅读 · 1月5日
An unholy trinity: TFNP, polynomial systems, and the quantum satisfiability problem
Arxiv
0+阅读 · 2024年12月27日
Lazy Reimplication in Chronological Backtracking
Arxiv
0+阅读 · 1月13日
Summation-by-Parts Finite-Difference Method for Linear Shallow Water Equations on Staggered Curvilinear Grids in Closed Domains
Arxiv
0+阅读 · 1月13日
Empirical Evaluation of the Implicit Hitting Set Approach for Weighted CSPs
Arxiv
0+阅读 · 1月13日
Modeling Language for Scenario Development of Autonomous Driving Systems
Arxiv
0+阅读 · 1月16日
Extending XReason: Formal Explanations for Adversarial Detection
Arxiv
0+阅读 · 2024年12月31日
Structure-Guided Automated Reasoning
Arxiv
0+阅读 · 1月8日
Assessing fault-tolerant quantum advantage for $k$-SAT with structure
Arxiv
1+阅读 · 2024年12月21日
SAT Solving for Variants of First-Order Subsumption
Arxiv
1+阅读 · 2024年12月20日
Computational Complexity of Game Boy Games
Arxiv
1+阅读 · 2024年12月20日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top