Integer

Results: 2878



#Item
71SAT-based techniques for integer linear constraints GCAIinvited talk) Robert Nieuwenhuis

SAT-based techniques for integer linear constraints GCAIinvited talk) Robert Nieuwenhuis

Add to Reading List

Source URL: www.cs.upc.edu

- Date: 2015-10-20 09:03:47
    72Challenge Problems – Quadratics Problem 1 – Factored Form for Quadratic Equations Write a program that will accept three integer values (𝑎, 𝑟, 𝑠) as parameters for the factored form of a quadratic equation:

    Challenge Problems – Quadratics Problem 1 – Factored Form for Quadratic Equations Write a program that will accept three integer values (𝑎, 𝑟, 𝑠) as parameters for the factored form of a quadratic equation:

    Add to Reading List

    Source URL: bgrasley.files.wordpress.com

    - Date: 2015-11-22 20:02:11
      73Math508, FallJerry L. Kazdan Bonus Problem for Set 4 1. Define two real numbers x and y to be equal if |x − y| is an integer. We write x ≡ y (mod 1).

      Math508, FallJerry L. Kazdan Bonus Problem for Set 4 1. Define two real numbers x and y to be equal if |x − y| is an integer. We write x ≡ y (mod 1).

      Add to Reading List

      Source URL: www.math.upenn.edu

      - Date: 2014-09-28 08:56:19
        74C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Program Transformations to Fix Integer Problems in C Programs Dr. Munawar Hafiz

        C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Program Transformations to Fix Integer Problems in C Programs Dr. Munawar Hafiz

        Add to Reading List

        Source URL: pdf.cs.ua.edu

        - Date: 2012-10-15 09:12:25
          75Dense subfields of henselian fields, and integer parts∗ Franz-Viktor KuhlmannAbstract We show that every henselian valued field L of residue characteristic 0 admits a proper

          Dense subfields of henselian fields, and integer parts∗ Franz-Viktor KuhlmannAbstract We show that every henselian valued field L of residue characteristic 0 admits a proper

          Add to Reading List

          Source URL: math.usask.ca

          - Date: 2005-06-26 12:22:01
            76Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games? Aleksandra Jovanovi´c, Didier Lime, Olivier H. Roux ´ LUNAM Universit´e. Ecole Centrale de Nantes - IRCCyN UMR CNRS 6597

            Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games? Aleksandra Jovanovi´c, Didier Lime, Olivier H. Roux ´ LUNAM Universit´e. Ecole Centrale de Nantes - IRCCyN UMR CNRS 6597

            Add to Reading List

            Source URL: www.irccyn.ec-nantes.fr

            - Date: 2013-12-09 09:54:25
              77ARGONNE NATIONAL LABORATORY 9700 South Cass Avenue Argonne, IllinoisMixed-Integer Nonlinear Optimization

              ARGONNE NATIONAL LABORATORY 9700 South Cass Avenue Argonne, IllinoisMixed-Integer Nonlinear Optimization

              Add to Reading List

              Source URL: homepages.cae.wisc.edu

              - Date: 2014-01-14 11:48:55
                78Strongly Connected Graph Components and Computing Characteristic Polynomials of Integer Matrices in Maple Simon Lo ∗, Michael Monagan ∗, Allan Wittkopf ∗ {sclo,mmonagan,wittkopf}@cecm.sfu.ca Centre for Experimental

                Strongly Connected Graph Components and Computing Characteristic Polynomials of Integer Matrices in Maple Simon Lo ∗, Michael Monagan ∗, Allan Wittkopf ∗ {sclo,mmonagan,wittkopf}@cecm.sfu.ca Centre for Experimental

                Add to Reading List

                Source URL: www.cecm.sfu.ca

                - Date: 2007-06-25 18:57:54
                  79INTEGER est un projet financé par la Commission européenne dans le cadre du 7ème PCRD, volet « Capacités », programme « Science dans la société ». D’un budget total de 3,25 M€ et d’une durée de 4 ans, l

                  INTEGER est un projet financé par la Commission européenne dans le cadre du 7ème PCRD, volet « Capacités », programme « Science dans la société ». D’un budget total de 3,25 M€ et d’une durée de 4 ans, l

                  Add to Reading List

                  Source URL: www.cnrs.fr

                  - Date: 2013-09-06 04:20:05
                    80Aachen Department of Computer Science Technical Report Lower Runtime Bounds for Integer Programs

                    Aachen Department of Computer Science Technical Report Lower Runtime Bounds for Integer Programs

                    Add to Reading List

                    Source URL: sunsite.informatik.rwth-aachen.de

                    - Date: 2016-04-12 04:37:50