会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Token-Set Choice Confounds POPE: A Systematic Audit of Yes/No Extraction in VLM Hallucination Evaluation
Arxiv
0+阅读 · 10月19日
Building codes with transversal CCZ using projective geometry and SAT solvers
Arxiv
0+阅读 · 10月16日
Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
Arxiv
0+阅读 · 10月17日
Geometric Graph Representations via Compact SAT Encodings
Arxiv
0+阅读 · 10月15日
Hard Instances on Demand
Arxiv
0+阅读 · 10月15日
Solving SAT via Treewidth Backdoors in Linear Time: Beyond Sparsity
Arxiv
0+阅读 · 10月13日
Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLI
Arxiv
0+阅读 · 10月14日
Witness Encryption via Prime-Order Generic Groups
Arxiv
0+阅读 · 10月12日
Reset Early, Reset Often, Eliminate Models
Arxiv
0+阅读 · 10月13日
NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
Arxiv
0+阅读 · 10月12日
Learning Proposition-Level Links from Sentence-Level Supervision for Neuro-Symbolic NLI
Arxiv
0+阅读 · 10月10日
Solving Distributed Flexible Job Shop Scheduling Problem Using SAT
Arxiv
0+阅读 · 10月10日
StructHCP: Structure-Aware SAT--CEGAR for the Hamiltonian Cycle Problem
Arxiv
0+阅读 · 10月10日
Solving Restricted Versions of #SAT Faster than $2^m$: Algorithms and Lower Bounds
Arxiv
0+阅读 · 10月11日
SAT-sampling for statistical significance testing in sparse contingency tables
Arxiv
0+阅读 · 10月9日
参考链接
微信扫码咨询专知VIP会员
Top