Integer

Results: 2878



#Item
71

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
    72

    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
      73

      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
        74

        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
          75

          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
            76

            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
              77

              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
                78

                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
                  79

                  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
                    80

                    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
                      UPDATE