Constraint

Results: 2322



#Item
71Technical Report TRA Comparison of Several Solvers for Bound Constraint Quadratic Programming within the Context of Frictionless Multibody Dynamics

Technical Report TRA Comparison of Several Solvers for Bound Constraint Quadratic Programming within the Context of Frictionless Multibody Dynamics

Add to Reading List

Source URL: sbel.wisc.edu

- Date: 2012-08-24 16:39:25
    72Lattice Operations on Terms over Similar Signatures A Constraint-Based Approach Hassan A¨ıt-Kaci Gabriella Pasi

    Lattice Operations on Terms over Similar Signatures A Constraint-Based Approach Hassan A¨ıt-Kaci Gabriella Pasi

    Add to Reading List

    Source URL: www.sci.unich.it

    - Date: 2017-10-23 05:12:58
      732009 Volume 28, Number 2 ACM Transactions on Collision-Free Construction of Animated Feathers Using Implicit Constraint Surfaces

      2009 Volume 28, Number 2 ACM Transactions on Collision-Free Construction of Animated Feathers Using Implicit Constraint Surfaces

      Add to Reading List

      Source URL: artis.inrialpes.fr

      - Date: 2009-06-17 11:37:52
        74A Report on the BPrologCSP Solver Neng-Fa Zhou CUNY Brooklyn College This note attempts to give a quick analysis of the results of the BPrologCSP solver in the second international solver competition. The constraint prop

        A Report on the BPrologCSP Solver Neng-Fa Zhou CUNY Brooklyn College This note attempts to give a quick analysis of the results of the BPrologCSP solver in the second international solver competition. The constraint prop

        Add to Reading List

        Source URL: www.sci.brooklyn.cuny.edu

        - Date: 2007-04-11 17:14:19
          75Paper: Thom Frühwirth Justifications in Constraint Handling Presentation: Daniel Gall

          Paper: Thom Frühwirth Justifications in Constraint Handling Presentation: Daniel Gall

          Add to Reading List

          Source URL: www.sci.unich.it

          - Date: 2017-10-23 07:44:50
            76Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs∗ Danel Ahman† Marko K¨aa¨ ramees

            Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs∗ Danel Ahman† Marko K¨aa¨ ramees

            Add to Reading List

            Source URL: danelahman.github.io

            - Date: 2018-03-25 20:15:13
              77A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak

              A Constraint Solver for Software Engineering: Finding Models and Cores of Large Relational Specifications by Emina Torlak

              Add to Reading List

              Source URL: homes.cs.washington.edu

              - Date: 2017-06-23 18:20:16
                78Constraint hiding constrained PRF for NC1 from LWE Ran Canetti, Yilei Chen, # Eurocrypt 2017 special edition 1 2

                Constraint hiding constrained PRF for NC1 from LWE Ran Canetti, Yilei Chen, # Eurocrypt 2017 special edition 1 2

                Add to Reading List

                Source URL: eurocrypt2017.di.ens.fr

                - Date: 2017-05-01 10:39:39
                  79Ulm University | 89069 Ulm | Germany CHR.js: Compiling Constraint Handling Rules to JavaScript Master Thesis at the University of Ulm

                  Ulm University | 89069 Ulm | Germany CHR.js: Compiling Constraint Handling Rules to JavaScript Master Thesis at the University of Ulm

                  Add to Reading List

                  Source URL: www.informatik.uni-ulm.de

                  - Date: 2015-10-21 06:36:12