会员服务
SAT是研究者关注命题可满足性问题的理论与应用的第一次年度会议。除了简单命题可满足性外，它还包括布尔优化（如MaxSAT和伪布尔（PB）约束）、量化布尔公式（QBF）、可满足性模理论（SMT）和约束规划（CP），用于与布尔级推理有明确联系的问题。官网链接：http://sat2019.tecnico.ulisboa.pt/
Semantic Anchor Transport: Robust Test-Time Adaptation for Vision-Language Models
Arxiv
0+阅读 · 1月2日
Notes on the 33-point Erdős--Szekeres problem
Arxiv
0+阅读 · 2025年12月30日
Stable Voting and the Splitting of Cycles
Arxiv
0+阅读 · 2025年12月29日
Sat-EnQ: Satisficing Ensembles of Weak Q-Learners for Reliable and Compute-Efficient Reinforcement Learning
Arxiv
0+阅读 · 2025年12月28日
Two-colorings of finite grids: variations on a theorem of Tibor Gallai
Arxiv
0+阅读 · 2025年12月29日
A Note on the NP-Hardness of PARTITION Via First-Order Projections
Arxiv
0+阅读 · 2025年12月24日
The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
Arxiv
0+阅读 · 2025年12月23日
When Symmetry Yields NP-Hardness: Affine ML-SAT on S5 Frames
Arxiv
0+阅读 · 2025年12月19日
A Polynomial time Algorithm for 3SAT
Arxiv
0+阅读 · 2025年12月22日
SAT: Dynamic Spatial Aptitude Training for Multimodal Language Models
Arxiv
0+阅读 · 2025年12月4日
The random $k$-SAT Gibbs uniqueness threshold revisited
Arxiv
0+阅读 · 2025年11月18日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 2025年11月10日
Model Counting for Dependency Quantified Boolean Formulas
Arxiv
0+阅读 · 2025年11月15日
SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
Arxiv
0+阅读 · 2025年12月2日
A measurement-driven quantum algorithm for SAT: Performance guarantees via spectral gaps and measurement parallelization
Arxiv
0+阅读 · 2025年11月12日
参考链接
微信扫码咨询专知VIP会员
Top