会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
SAT: Dynamic Spatial Aptitude Training for Multimodal Language Models
Arxiv
0+阅读 · 12月4日
The random $k$-SAT Gibbs uniqueness threshold revisited
Arxiv
0+阅读 · 11月18日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 11月10日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 11月15日
SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
Arxiv
0+阅读 · 12月2日
A measurement-driven quantum algorithm for SAT: Performance guarantees via spectral gaps and measurement parallelization
Arxiv
0+阅读 · 11月12日
Depth-13 Sorting Networks for 28 Channels
Arxiv
0+阅读 · 11月6日
Depth-13 Sorting Networks for 28 Channels
Arxiv
0+阅读 · 11月22日
Redundancy rules for MaxSAT
Arxiv
0+阅读 · 11月18日
Combining High Level Scheduling and Low Level Control to Manage Fleets of Mobile Robots
Arxiv
0+阅读 · 11月18日
TurboSAT: Gradient-Guided Boolean Satisfiability Accelerated on GPU-CPU Hybrid System
Arxiv
0+阅读 · 11月11日
A Physical Analogy between Molecular Ordering and SAT-to-Ising Annealing
Arxiv
0+阅读 · 11月3日
Compact SAT Encoding for Power Peak Minimization
Arxiv
0+阅读 · 12月12日
Finding Regular Herbrand Models for CHCs using Answer Set Programming
Arxiv
0+阅读 · 10月30日
SATURN: SAT-based Reinforcement Learning to Unleash Language Model Reasoning
Arxiv
0+阅读 · 10月29日
参考链接
微信扫码咨询专知VIP会员
Top