会员服务
Exponential separations using guarded extension variables
Arxiv
0+阅读 · 2023年4月30日
PDL on Steroids: on Expressive Extensions of PDL with Intersection and Converse
Arxiv
0+阅读 · 2023年4月20日
Proving Non-Termination by Acceleration Driven Clause Learning with LoAT
Arxiv
0+阅读 · 2023年4月20日
On Approximate Reconfigurability of Label Cover
Arxiv
0+阅读 · 2023年4月18日
Situated Conditional Reasoning
Arxiv
0+阅读 · 2023年4月17日
Local Search For Satisfiability Modulo Integer Arithmetic Theories
Arxiv
0+阅读 · 2023年4月16日
Is Causal Reasoning Harder than Probabilistic Reasoning?
Arxiv
0+阅读 · 2023年4月16日
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
Arxiv
0+阅读 · 2023年4月17日
Proof Generation for CDCL Solvers Using Gauss-Jordan Elimination
Arxiv
0+阅读 · 2023年4月9日
Uncertainty-Based Knowing How Logic
Arxiv
0+阅读 · 2023年4月3日
HyperLTL Satisfiability Is Highly Undecidable, HyperCTL* is Even Harder
Arxiv
0+阅读 · 2023年3月30日
Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem
Arxiv
0+阅读 · 2023年3月29日
Changing agents and ascribing beliefs in dynamic epistemic logic
Arxiv
0+阅读 · 2023年3月29日
HyperLTL Is Highly Undecidable, HyperCTL* is Even Harder
Arxiv
0+阅读 · 2023年3月29日
Generating Extended Resolution Proofs with a BDD-Based SAT Solver
Arxiv
0+阅读 · 2023年3月27日
参考链接
微信扫码咨询专知VIP会员
Top