会员服务
Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
Arxiv
0+阅读 · 2023年4月13日
Countering the Path Explosion Problem in the Symbolic Execution of Hardware Designs
Arxiv
0+阅读 · 2023年4月11日
Low-Shot Learning for Fictional Claim Verification
Arxiv
0+阅读 · 2023年4月5日
Design by Contract Framework for Quantum Software
Arxiv
0+阅读 · 2023年3月31日
Definite Formulae, Negation-as-Failure, and the Base-extension Semantics of Intuitionistic Propositional Logic
Arxiv
0+阅读 · 2023年3月28日
Inference Rules for Binary Predicates in a Multigranular Framework
Arxiv
0+阅读 · 2023年3月27日
A Generalized Hybrid Hoare Logic
Arxiv
0+阅读 · 2023年3月27日
Paraconsistent Gödel modal logic on bi-relational frames
Arxiv
0+阅读 · 2023年3月24日
Generalized Coverage Criteria for Combinatorial Sequence Testing
Arxiv
0+阅读 · 2023年3月24日
参考链接
微信扫码咨询专知VIP会员
Top