نتایج جستجو برای: klee property
تعداد نتایج: 159160 فیلتر نتایج به سال:
We show that the edge graph of a 6-dimensional polytope with 12 facets has diameter at most 6, thus verifying the d-step conjecture of Klee and Walkup in the case of d = 6. This implies that for all pairs (d, n) with n−d ≤ 6 the diameter of the edge graph of a d-polytope with n facets is bounded by 6, which proves the Hirsch conjecture for all n − d ≤ 6. We show this result by showing this boun...
The Mihalisin Klee Theorem states that an orientation of a 3-polytopal graph is induced by an affine function on some 3-polytope realizing the graph if the orientation is acyclic, has a unique source and a unique sink, and admits three independent monotone paths from the source to the sink. We replace the requirement that the orientation is acyclic with the assumption that it has no directed cy...
We highlight intriguing analogies between the diameter of a polytope and the largest possible total curvature of the associated central path. We prove continuous analogues of the results of Holt and Klee, and Klee and Walkup: We construct a family of polytopes which attain the conjectured order of the largest curvature, and prove that the special case where the number of inequalities is twice t...
Robert E. Gerszten, Frank Accurso, Gordon R. Bernard, Richard M. Caprioli, Eric W. Klee, George G. Klee, Iftikhar Kullo, Theresa A. Laguna, Frederick P. Roth, Marc Sabatine, Pothur Srinivas, Thomas J. Wang, and Lorraine B. Ware for the NHLBI Clinical Proteomics Programs Cardiology Division and Center for Immunology and Inflammatory Diseases, Massachusetts General Hospital, Boston, Massachusetts...
In this talk, we will present the results reported in our CAV 2013 paper [6] on integrating support for multiple SMT solvers in the dynamic symbolic execution engine KLEE [2]. In particular, we will outline the key characteristics of the SMT queries generated during symbolic execution, introduce an extension of KLEE that uses a number of state-of-the-art SMT solvers (Boolector [1], STP [4] and ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید