Constraint

Results: 2322



#Item
421

Generation of Test Data Structures Using Constraint Logic Programming Valerio Senni1 , Fabio Fioravanti2 1 Department

Add to Reading List

Source URL: www.sci.unich.it

Language: English - Date: 2013-09-28 05:09:03
    422

    Finding Diverse Solutions of High Quality to Constraint Optimization Problems

    Add to Reading List

    Source URL: ijcai.org

    Language: English - Date: 2016-03-06 19:44:56
      423Biology / Systems biology / Bioinformatics / Molecular biology / Networks / Genetics / Essential gene / Interactome / Gene regulatory network / Saccharomyces cerevisiae / Multiprotein complex / Proteinprotein interaction

      Molecular Evolution in Large Genetic Networks: Does Connectivity Equal Constraint?

      Add to Reading List

      Source URL: www.ieu.uzh.ch

      Language: English - Date: 2015-12-07 07:40:36
      424

      Message Passing for Soft Constraint Dual Decomposition David Belanger UMass Amherst

      Add to Reading List

      Source URL: www.riedelcastro.org

      Language: English - Date: 2015-10-01 05:23:50
        425Vehicle identification number / Symbol

        Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages: Full Formal Development Tim Felgentreff, Todd Millstein, Alan Borning

        Add to Reading List

        Source URL: www.vpri.org

        Language: English - Date: 2015-08-28 18:14:08
        426

        Unique Games on Expanding Constraint Graphs are Easy [Extended Abstract] ∗ Sanjeev Arora

        Add to Reading List

        Source URL: ttic.uchicago.edu

        Language: English - Date: 2011-10-12 09:49:17
          427

          Methods Physicochemical constraint violation by missense substitutions mediates impairment of protein function and disease severity Eric A. Stone1,2 and Arend Sidow2,3,4

          Add to Reading List

          Source URL: mendel.stanford.edu

          Language: English - Date: 2005-07-05 23:20:48
            428

            Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

            Add to Reading List

            Source URL: www.sci.unich.it

            Language: English - Date: 2014-07-10 04:18:43
              429Constraint programming / Constraint satisfaction / Constraint logic programming / Constrained optimization / Kaleidoscope / Decomposition method / Hidden transformation

              Checks and Balances - Constraint Solving without Surprises in Object-Constraint Programming Languages Tim Felgentreff, Todd Millstein, Alan Borning and Robert Hirschfeld

              Add to Reading List

              Source URL: www.vpri.org

              Language: English - Date: 2015-08-28 21:28:56
              430

              A Tractable Combinatorial Market Maker Using Constraint Generation MIROSLAV DUD´IK, Yahoo! Research SEBASTIEN LAHAIE, Yahoo! Research DAVID M. PENNOCK, Yahoo! Research We present a new automated market maker for provid

              Add to Reading List

              Source URL: www.cs.princeton.edu

              Language: English - Date: 2012-05-01 12:14:09
                UPDATE