会员服务
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
Arxiv
0+阅读 · 1月3日
Kicking for Goal or Touch? An Expected Points Framework for Penalty Decisions in Rugby Union
Arxiv
0+阅读 · 2025年11月29日
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
Arxiv
0+阅读 · 2025年11月20日
Multi-variable Quantification of BDDs in External Memory using Nested Sweeping (Extended Paper)
Arxiv
0+阅读 · 2025年11月21日
R-U-SURE? Uncertainty-Aware Code Suggestions By Maximizing Utility Across Random User Intents
Arxiv
0+阅读 · 2023年4月28日
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Arxiv
0+阅读 · 2023年4月17日
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams
Arxiv
0+阅读 · 2023年4月7日
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results
Arxiv
0+阅读 · 2023年3月30日
PFL: a Probabilistic Logic for Fault Trees
Arxiv
0+阅读 · 2023年3月30日
Quantum-Inspired Perfect Matching under Vertex-Color Constraints
Arxiv
0+阅读 · 2023年3月30日
A PBPO+ Graph Rewriting Tutorial
Arxiv
0+阅读 · 2023年3月28日
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top