会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
A Demonic Outcome Logic for Randomized Nondeterminism
Arxiv
0+阅读 · 11月20日
On CNF Conversion for SAT and SMT Enumeration
Arxiv
0+阅读 · 11月19日
Child Speech Recognition in Human-Robot Interaction: Problem Solved?
Arxiv
0+阅读 · 11月19日
Perfecting Imperfect Physical Neural Networks with Transferable Robustness using Sharpness-Aware Training
Arxiv
0+阅读 · 11月19日
Bounded degree QBF and positional games
Arxiv
0+阅读 · 11月18日
Exact Computation of Error in Approximate Circuits using SAT and Message-Passing Algorithms
Arxiv
0+阅读 · 11月15日
Bounded degree QBF and positional games
Arxiv
0+阅读 · 11月15日
Rare-Case Hard Functions Against Various Adversaries
Arxiv
0+阅读 · 11月14日
AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
Arxiv
0+阅读 · 11月13日
An Improved Algorithm for Sparse Instances of SAT
Arxiv
0+阅读 · 11月11日
Problem-Oriented Segmentation and Retrieval: Case Study on Tutoring Conversations
Arxiv
0+阅读 · 11月12日
How To Discover Short, Shorter, and the Shortest Proofs of Unsatisfiability: A Branch-and-Bound Approach for Resolution Proof Length Minimization
Arxiv
0+阅读 · 11月12日
Distributed Binary Optimization with In-Memory Computing: An Application for the SAT Problem
Distributed Binary Optimization with In-Memory Computing: An Application for the SAT Problem
Arxiv
0+阅读 · 11月6日
Revisiting Assumptions Ordering in CAR-Based Model Checking
Arxiv
0+阅读 · 10月29日
SibylSat: Using SAT as an Oracle to Perform a Greedy Search on TOHTN Planning
Arxiv
0+阅读 · 11月4日
参考链接
父主题
Springer
计算机科学理论
微信扫码咨询专知VIP会员
Top