会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Divide and Translate: Compositional First-Order Logic Translation and Verification for Complex Logical Reasoning
Arxiv
0+阅读 · 2月25日
On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
Arxiv
0+阅读 · 2月24日
Breaking Symmetries in Quantified Graph Search: A Comparative Study
Arxiv
0+阅读 · 2月20日
One Model to Rule them All: Towards Universal Segmentation for Medical Images with Text Prompts
Arxiv
0+阅读 · 2月5日
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation
Arxiv
0+阅读 · 2月20日
Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
Arxiv
0+阅读 · 1月29日
Can Transformers Reason Logically? A Study in SAT Solving
Arxiv
0+阅读 · 2月8日
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日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top