会员服务
Proof Systems Based on Structured Circuits
Arxiv
0+阅读 · 5月12日
Fast Obligation Translation and Synthesis
Arxiv
0+阅读 · 5月12日
Parameterized Complexity Of Representing Models Of MSO Formulas
Arxiv
0+阅读 · 4月9日
Quadratic Sums-of-Powers for Fixed-Parameter Tractable Quantum-Circuit Simulation
Arxiv
0+阅读 · 5月28日
BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
Arxiv
0+阅读 · 5月3日
On-the-fly LTLf Synthesis under Partial Observability
Arxiv
0+阅读 · 4月29日
Implicit Decision Diagrams
Arxiv
0+阅读 · 2月24日
Implicit Decision Diagrams
Arxiv
0+阅读 · 2月26日
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
Arxiv
0+阅读 · 2月26日
Efficient Binary Decision Diagram Manipulation in External Memory
Arxiv
0+阅读 · 2月12日
CounterPoint: Using Hardware Event Counters to Refute and Refine Microarchitectural Assumptions (Extended Version)
Arxiv
0+阅读 · 1月12日
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日
参考链接
微信扫码咨询专知VIP会员
Top