Constraint

Results: 2322



#Item
71

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
    72

    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
      73

      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
        74

        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
          75

          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
            76

            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
              77

              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
                78

                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
                  79

                  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
                    UPDATE