MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On "P = NP Linear Programming Formulation of the Traveling Salesman Problem" A reply to Hofman's Claim of a "Counter-Example"" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

725,648 documents found, showing 1 through 10. Next 10 →

ATOM

On the Midpath Tree Conjecture: A Counter-Example
by Rahul Shah Martin, Martin Farach-colton — 2001 — in proceedings of Symposium on Discrete Algorithms (SODA
…On the Midpath Tree Conjecture: A Counter-Example Rahul Shah Martin Farach-Colton y…
Add To MetaCart

Compositional Verification by Model Checking for Counter-Examples
by Tevfik Bultan, Jeffrey Fischer, Richard Gerber — 1996 — In Ziel [14
… for its counter-example. We show how this type of query 1 Computation Tree Logic - a branching time…
Cited by 12 (2 self) – Add To MetaCart

Coarsening at Random: Characterizations, Conjectures, Counter-Examples
by Coarsening At Random, Richard D. Gill, Mark J. Van Der Laan, James M. Robins — 1996
… ` (X 2 A); Coarsening at random: characterizations, conjectures, counter-examples This is page 261…
Add To MetaCart

Counter-examples to Ragsdale Conjecture
by I. Itenberg, I. Itenberg — 1993 — MR 95m:14037. Zbl 843.14023
… of conjecture was formulated in 1938 by I. G. Petrovsky [2]). In the present paper counter-examples…
Add To MetaCart

Counter-example generation in symbolic abstract model-checking
by Gordon Pace, Nicolas Halbwachs, Pascal Raymond, Grenoble France — 2001 — In 6th International Workshop on Formal Methods for Industrial Critical Systems
… that a other ≤ a max solves this problem, and Lurette can no longer generate concrete counter-examples…
Cited by 4 (0 self) – Add To MetaCart

Counter-Example Guided Predicate Abstraction of Hybrid Systems
by Rajeev Alur, Thao Dang, Franjo Ivancic — 2003
… p = (a; t) an unlabelled counter-example. The counter-example analysis problem is twofold. The rst…
Cited by 20 (6 self) – Add To MetaCart

Generation of all counter-examples for push-down systems
by Samik Basu, Diptikalyan Saha, Yow-jian Lin, Scott A. Smolka — 2003 — In Proceedings of FORTE
…-viewing of generated counter-examples. 1 Introduction Model checking [18, 5] is a widely used technique for verifying…
Cited by 7 (2 self) – Add To MetaCart

Multivariate extremes and the aggregation of dependent risks: Examples and counter-examples
by Paul Embrechts, Dominik D. Lambrigger, Mario V. Wüthrich — Extremes, 2008. ISSN 1386-1999 (Print) 1572-915X (Online). URL http://www.springerlink.com/content/ 102890/?Content+Status=Accepted
…Multivariate Extremes and the Aggregation of Dependent Risks: Examples and Counter-Examples Paul…
Cited by 5 (3 self) – Add To MetaCart

Proof-like Counter-Examples
by Arie Gurfinkel, Marsha Chechik — 2003 — In Tools and Algorithms for the Construction and Analysis of Systems
…95]. Yet only a subset of universally-quantified CTL (ACTL), namely ACTL \ LTL, has linear counter-examples…
Cited by 14 (7 self) – Add To MetaCart

Finding feasible abstract counter-examples
by Corina S. Păsăreanu, Matthew B. Dwyer, Willem Visser — 2003 — STTT
… of both the program’s data and the property to be checked; (ii) the feasibility of a counter-example…
Cited by 17 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB