Counterexample

Results: 85



#Item
11P UBLICATIONS MATHÉMATIQUES DE L’I.H.É.S. ROBERT C ONNELLY A counterexample to the rigidity conjecture for polyhedra Publications mathématiques de l’I.H.É.S., tome), p. <http://www.numdam.org/i

P UBLICATIONS MATHÉMATIQUES DE L’I.H.É.S. ROBERT C ONNELLY A counterexample to the rigidity conjecture for polyhedra Publications mathématiques de l’I.H.É.S., tome), p. Add to Reading List

Source URL: archive.numdam.org

- Date: 2006-10-03 09:14:06
    12Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran|

    Counterexample Analysis for Supporting Containment Checking of Business Process Models Faiz UL Muram, Huy Tran, Uwe Zdun Software Architecture Group University of Vienna, Austria. faiz.ulmuram|huy.tran|

    Add to Reading List

    Source URL: eprints.cs.univie.ac.at

    - Date: 2015-08-23 04:36:51
      13A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS

      A Counterexample Guided Abstraction Refinement Framework for Verifying Concurrent C Programs Sagar J. Chaki CMU-CS

      Add to Reading List

      Source URL: www.cs.cmu.edu

      - Date: 2005-05-24 15:53:16
        14Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1

        Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription Mikol´ aˇs Janota1 , Radu Grigore2, and Joao Marques-Silva3 1

        Add to Reading List

        Source URL: www.mancoosi.org

        Language: English - Date: 2012-12-16 04:54:55
        15Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis

        Active Automata Learning: From DFA to Interface Programs and Beyond or From Languages to Program Executions or (more technically) The Power of Counterexample Analysis

        Add to Reading List

        Source URL: www.connect-forever.eu

        Language: English - Date: 2012-12-20 13:12:46
        16arXiv:submitcs.LO] 26 MayOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4⋆ ⋆⋆ Andrew Reynolds1 , Morgan Deters2 , Viktor Kuncak1, Cesare Tinelli3 , and Clark Barrett2

        arXiv:submitcs.LO] 26 MayOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4⋆ ⋆⋆ Andrew Reynolds1 , Morgan Deters2 , Viktor Kuncak1, Cesare Tinelli3 , and Clark Barrett2

        Add to Reading List

        Source URL: lara.epfl.ch

        Language: English - Date: 2015-05-28 05:14:31
          17A Counterexample to a Conjecture of Gomory and Johnson Amitabh Basu ∗ Tepper School of Business, Carnegie Mellon University, Pittsburgh, PAMichele Conforti † Department of Mathematics, Un

          A Counterexample to a Conjecture of Gomory and Johnson Amitabh Basu ∗ Tepper School of Business, Carnegie Mellon University, Pittsburgh, PAMichele Conforti † Department of Mathematics, Un

          Add to Reading List

          Source URL: www.ams.jhu.edu

          Language: English - Date: 2014-04-09 16:46:43
            18A Counterexample A Candidate for a Kernel 0 k(x, x ) =

            A Counterexample A Candidate for a Kernel 0 k(x, x ) =

            Add to Reading List

            Source URL: alex.smola.org

            Language: English - Date: 2013-09-09 02:28:42
              19A Counterexample Based Approach for Quantifier Instantiation in SMT Andrew Reynolds, University of Iowa MVD, September 30, 2011 Overview

              A Counterexample Based Approach for Quantifier Instantiation in SMT Andrew Reynolds, University of Iowa MVD, September 30, 2011 Overview

              Add to Reading List

              Source URL: lara.epfl.ch

              Language: English - Date: 2012-05-06 15:42:14