Constraint programming

Results: 1169



#Item
1Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson

Protocol log analysis with constraint programming Mats Carlsson Olga Grinchtein Justin Pearson

Add to Reading List

Source URL: smt2014.it.uu.se

Language: English - Date: 2014-07-18 15:02:20
2

PDF Document

Add to Reading List

Source URL: www.constraint-programming.com

- Date: 2010-03-10 06:11:45
    3Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka

    Answer Sets: From Constraint Programming Towards Qualitative Optimization Gerhard Brewka

    Add to Reading List

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

    Language: English - Date: 2003-12-18 07:00:05
      4Constraint Programming Mark Wallace Contact address: Mark Wallace, IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email:  September 1995

      Constraint Programming Mark Wallace Contact address: Mark Wallace, IC-Parc, William Penney Laboratory, Imperial College, LONDON SW7 2AZ. email: September 1995

      Add to Reading List

      Source URL: eclipseclp.org

      Language: English - Date: 2013-08-14 14:29:38
        5Solving Segment Routing Problems with Hybrid Constraint Programming Techniques Renaud Hartert, Pierre Schaus, Stefano Vissicchio, and Olivier Bonaventure UCLouvain, ICTEAM, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Be

        Solving Segment Routing Problems with Hybrid Constraint Programming Techniques Renaud Hartert, Pierre Schaus, Stefano Vissicchio, and Olivier Bonaventure UCLouvain, ICTEAM, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Be

        Add to Reading List

        Source URL: www.info.ucl.ac.be

        Language: English - Date: 2018-07-26 05:20:52
          6Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Computer Science Malostranské námûstí 2/25, Praha 1, Czech R

          Constraint Programming: In Pursuit of the Holy Grail Roman Barták Charles University, Faculty of Mathematics and Physics, Department of Theoretical Computer Science Malostranské námûstí 2/25, Praha 1, Czech R

          Add to Reading List

          Source URL: kti.mff.cuni.cz

          Language: English - Date: 1999-12-06 11:36:48
            7Continuous Casting Scheduling with Constraint Programming Steven Gay1 , Pierre Schaus1 , and Vivian De Smedt2 1  Universit´e Catholique de Louvain, Belgium

            Continuous Casting Scheduling with Constraint Programming Steven Gay1 , Pierre Schaus1 , and Vivian De Smedt2 1 Universit´e Catholique de Louvain, Belgium

            Add to Reading List

            Source URL: www.info.ucl.ac.be

            Language: English - Date: 2018-07-26 05:20:47
              8Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario M5S 3G8,

              Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems Wen-Yang Ku and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario M5S 3G8,

              Add to Reading List

              Source URL: tidel.mie.utoronto.ca

              Language: English - Date: 2016-07-05 09:49:56
                9Curriculum vitæ Jean-Charles Régin Université Nice-Sophia Antipolis (UNS), I3S, CNRS 2000, route des Lucioles - Les Algorithmes - bât. Euclide B BPSophia Antipolis Cedex - France Tel: (+

                Curriculum vitæ Jean-Charles Régin Université Nice-Sophia Antipolis (UNS), I3S, CNRS 2000, route des Lucioles - Les Algorithmes - bât. Euclide B BPSophia Antipolis Cedex - France Tel: (+

                Add to Reading List

                Source URL: www.constraint-programming.com

                Language: English - Date: 2017-10-23 14:33:40
                  10References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

                  References [1] F.S. de Boer, A. Di Pierro, and C. Palamidessi. Nondeterminism and Infinite Computations in Constraint Programming. Theoretical Computer Science, 151(1), 1995. Selected Papers of the Workshop on Topology a

                  Add to Reading List

                  Source URL: profs.sci.univr.it

                  Language: English - Date: 2016-11-27 13:25:29