会员服务
Witnesses and Counterexamples for Timed Bisimulation
Arxiv
0+阅读 · 6月15日
Exploring Starts Are Not Enough: Counterexamples and a Fix for Monte Carlo Exploring Starts
Arxiv
0+阅读 · 6月13日
Scalar-Stepsize Nonuniform Monte Carlo Optimistic Policy Iteration: A Certified Counterexample
Arxiv
0+阅读 · 6月14日
Size-4 Counterexamples to the Sidon-Extension Conjecture
Arxiv
0+阅读 · 5月14日
Counterexamples to a Conjecture on Laplacian Ratios of Trees
Arxiv
0+阅读 · 5月13日
A Minimum Counterexample Proof of the Seymour Second Neighborhood Conjecture via the Graph Level Order
Arxiv
0+阅读 · 5月30日
The Gray graph is pseudo 2-factor isomorphic
Arxiv
0+阅读 · 5月7日
Counterexamples to an Extremal Conjecture for Random Cycle-Factors
Arxiv
0+阅读 · 5月7日
Constructive Separations from Gate Elimination
Arxiv
0+阅读 · 4月27日
The 27-qubit Counterexample to the LU-LC Conjecture is Minimal
Arxiv
0+阅读 · 3月26日
Refuting the Direct Sum Conjecture for Total Functions in Deterministic Communication Complexity
Arxiv
0+阅读 · 4月14日
Parry condition, existence and uniqueness of alternate bases
Arxiv
0+阅读 · 3月18日
A counterexample to the conjecture on Biclique Partition number of Split Graphs and related problems
Arxiv
0+阅读 · 4月7日
Explicit Formulas and Unimodality Phenomena for General Position Polynomials
Arxiv
0+阅读 · 3月25日
State Canonization and Early Pruning in Width-Based Automated Theorem Proving
Arxiv
0+阅读 · 5月10日
参考链接
微信扫码咨询专知VIP会员
Top