Constraint

Results: 2322



#Item
551

Electronic Notes in Theoretical Computer Science (Preliminary Versions) 15th workshop on functional and (constraint) logic programming WFLP’06

Add to Reading List

Source URL: gpd.sip.ucm.es

Language: English - Date: 2007-02-08 13:01:50
    552

    Case Assignment and the Complement/Adjunct Dichotomy A Non-Congurational Constraint-Based Approach von Adam Przepiórkowski Philosophische Dissertation

    Add to Reading List

    Source URL: nlp.ipipan.waw.pl

    Language: English - Date: 2003-04-03 16:20:33
      553

      Hybrid tractability of soft constraint problems Standa Živný (Oxford) (joint work with M. Cooper (Toulouse, Kiev, Ukraine

      Add to Reading List

      Source URL: www.cs.ox.ac.uk

      Language: English - Date: 2014-02-11 12:09:22
        554

        Accuracy for Sale: Aggregating Data with a Variance Constraint Rachel Cummings∗ Katrina Ligett∗ Aaron Roth† Zhiwei Steven Wu† Juba Ziani∗ August 8, 2014 Abstract We consider the problem of a data analyst who ma

        Add to Reading List

        Source URL: users.cms.caltech.edu

        Language: English - Date: 2015-06-24 13:28:20
          555

          Playing with Boolean Blocks, Part II: Constraint Satisfaction Problems1 Elmar B¨ ohler2 , Nadia Creignou3 , Steffen Reith4 , and Heribert Vollmer5 Introduction In the previous column we played with Boolean functions as

          Add to Reading List

          Source URL: www.thi.uni-hannover.de

          Language: English - Date: 2015-11-05 07:20:54
            556

            Finite Type Extensions in Constraint Programming Rafael Caballero Peter J. Stuckey Antonio Tenorio-Fornés

            Add to Reading List

            Source URL: gpd.sip.ucm.es

            Language: English - Date: 2013-09-18 18:57:23
              557

              Charles University in Prague Faculty of Mathematics and Physics Constraint-based Timetabling Ph.D. Thesis

              Add to Reading List

              Source URL: muller.unitime.org

              Language: English - Date: 2007-06-01 09:40:01
                558

                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
                  559

                  RWset: Attacking Path Explosion in Constraint-Based Test Generation Cristian Cadar, Peter Boonstoppel, Dawson Engler TACAS 2008, Budapest, Hungary ETAPS 2008

                  Add to Reading List

                  Source URL: www.doc.ic.ac.uk

                  Language: English - Date: 2016-02-24 08:42:24
                    560

                    A Topological Constraint Language with Component Counting Ian Pratt-Hartmann Department of Computer Science, University of Manchester, U.K.

                    Add to Reading List

                    Source URL: www.cs.man.ac.uk

                    Language: English - Date: 2009-08-16 13:52:50
                      UPDATE