Constraint

Results: 2322



#Item
621

Gate 3 Constraint Report Results Overview Customer Connections Forum 16 April 2013 Introduction

Add to Reading List

Source URL: www.eirgrid.com

Language: English - Date: 2013-10-25 07:41:23
    622

    Interfacing Prolog and VRML and its Application to Constraint Visualization∗ G¨oran Smedb¨ack Computer Science Department Uppsala University

    Add to Reading List

    Source URL: clip.dia.fi.upm.es

    Language: English - Date: 2003-02-06 11:45:13
      623

      Exercise 3 Foundations of Constraint Programming Dr. Paola Bruscoli, Amin Timany International Master in Computational Logic – winter term

      Add to Reading List

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

      Language: English - Date: 2012-01-04 14:09:58
        624

        Kangaroo: An Efficient Constraint-Based Local Search System Using Lazy Propagation M.A.Hakim Newton1,2 , Duc Nghia Pham1,2 , Abdul Sattar1,2 , and Michael Maher1,3,4 1

        Add to Reading List

        Source URL: seit.unsw.adfa.edu.au

        Language: English - Date: 2011-08-05 00:44:04
          625

          Figure 1. Black scurf on a potato tuber caused by Rhizoctonia solani Introduction Rhizoctonia potato disease is an important constraint to potato production. The disease can cause qualitative losses, not only through th

          Add to Reading List

          Source URL: fera.co.uk

          Language: English - Date: 2011-11-21 08:13:22
            626

            Learning Structured Constraint Models: a First Attempt Nicolas Beldiceanu1 and Helmut Simonis2? 1 TASC team (INRIA/CNRS), Mines de Nantes, France

            Add to Reading List

            Source URL: 4c.ucc.ie

            Language: English - Date: 2011-08-08 13:32:02
              627

              The Cassowary Linear Arithmetic Constraint Solving Algorithm Greg J. Badros, Alan Borning Dept. of Computer Science and Engineering, University of Washington and Peter Stuckey

              Add to Reading List

              Source URL: www.badros.com

              Language: English - Date: 2000-01-24 13:14:22
                628

                Some results obtained with the Universal Algebra Calculator, theorem provers and constraint satisfiers in a Sage package Peter Jipsen Chapman University, Orange, California

                Add to Reading List

                Source URL: math.chapman.edu

                Language: English - Date: 2011-04-09 22:02:01
                  629

                  Operational Constraints Update 10th March 2014 Key Updates Update to Ballylumford Generation Operational Constraint: Unused capacity from Moyle is transferred to Ballylumford.

                  Add to Reading List

                  Source URL: www.eirgrid.com

                  Language: English - Date: 2014-03-14 10:15:17
                    630

                    Properties of Energy-Price Forecasts for Scheduling Georgiana Ifrim, Barry O’Sullivan, and Helmut Simonis Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {g.ifrim|b.o

                    Add to Reading List

                    Source URL: 4c.ucc.ie

                    Language: English - Date: 2012-10-12 20:09:13
                      UPDATE