skip to content
Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings Preview this item
ClosePreview this item

Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings

Author: Eugene C Freuder; CP
Publisher: Berlin [u.a.] Springer 1996
Series: Lecture notes in computer science, 1118
Edition/Format:   Computer file : Conference publication : EnglishView all editions and formats
Summary:

This book constitutes the refereed proceedings of the Second International Conference on Principles and Practice of Constraint Programming, CP '96, held in Cambridge, MA, USA in August 1996.The 36  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference papers and proceedings
Kongress
Material Type: Conference publication, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Eugene C Freuder; CP
ISBN: 3540615512 9783540615514
OCLC Number: 845509254
Notes: Literaturangaben
Description: Online-Ressource (XIX, 574 S.)
Contents: On confluence of Constraint Handling Rules.- A labelling arc consistency method for functional constraints.- Constraint satisfaction in optical routing for passive wavelength-routed networks.- Using CSP look-back techniques to solve exceptionally hard SAT instances.- MAC and combined heuristics: Two reasons to forsake FC (and CBJ?) on hard problems.- The independence property of a class of set constraints.- Speeding up constraint propagation by redundant modeling.- A constraint-based interactive train rescheduling tool.- Local search and the number of solutions.- Derivation of constraints and database relations.- Constraint programming: an efficient and practical approach to solving the job-shop problem.- An instance of adaptive constraint propagation.- An empirical study of dynamic variable ordering heuristics for the constraint satisfaction problem.- Empirical studies of heuristic local search for constraint solving.- Defeasibility in CLP( $$\mathcal{Q}$$ ) through generalized slack variables.- Inference duality as a basis for sensitivity analysis.- Generalized local propagation: A framework for solving constraint hierarchies.- Transformations between HCLP and PCSP.- A test for tractability.- Combination of constraint systems II: Rational amalgamation.- Tractable disjunctions of linear constraints.- Exploiting the use of DAC in MAX-CSP.- A new approach for Weighted Constraint Satisfaction: Theoretical and computational results.- Towards a more efficient stochastic constraint solver.- A view of local search in constraint programming.- From quasi-solutions to solution: An Evolutionary algorithm to solve CSP.- Existential variables and local consistency in finite domain constraint problems.- Logical semantics of concurrent constraint programming.- Solving non-binary convex CSPs in continuous domains.- An experimental comparison of three modified DeltaBlue algorithms.- Constraint Logic Programming over unions of Constraint theories.- Analysis of Hybrid systems in CLP( $$\mathcal{R}$$ ).- On query languages for linear queries definable with polynomial constraints.- Analysis of heuristic methods for partial constraint satisfaction problems.- Solving satisfiability problems using field programmable gate arrays: First results.- A constraint program for solving the job-shop problem.- PSAP - A planning system for aircraft production (extended abstract).- Using partial arc consistency in a database environment.- Functional constraint hierarchies in CLP.- Towards an open finite domain constraint solver.- Efficient constraint propagation with good space complexity.- Anytime temporal reasoning: Preliminary report (extended abstract).- From constraint minimization to goal optimization in CLP languages.- Looking at full looking ahead.- The arc and path consistency phase transitions.- Experiences with combining constraint programming and discrete event simulation.- Hill-climbing with local consistency for solving distributed CSPs.- Approximate algorithms for maximum utility problems.- A meta constraint logic programming architecture (extended abstract).- N-ary consistencies and constraint-based backtracking.- Global behaviour for complex constraints.- To guess or to think? Hybrid algorithms for SAT (extended abstract).- A local simplification scheme for cc programs.- From evaluating upper bounds of the complexity of solving CSPs to finding all the solutions of CSPs.- Modeling and solving distributed constraint satisfaction problems (DCSPs).- Scheduling an Asynchronously Shared Resource.- The Generalized Railroad Crossing: Its symbolic analysis in CLP ( $$\mathcal{R}$$ ).- A stochastic approach to solving fuzzy constraint satisfaction problems.- Branch- and-price for solving integer programs with a huge number of variables: Methods and applications.- Constraint Databases.- Complexity-theoretic aspects of programming language design.
Series Title: Lecture notes in computer science, 1118
Responsibility: Eugene C. Freuder (ed.)
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/845509254> # Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "845509254" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1104430478#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430478#Topic/constraint_programming_computer_science_congresses> ; # Constraint programming (Computer science)--Congresses
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430478#Topic/programmierung> ; # Programmierung
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430478#Thing/kongress> ; # Kongress
   schema:about <http://dewey.info/class/005.11/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430478#Topic/constraint> ; # Constraint
   schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430478#Place/cambridge_mass_1996> ; # Cambridge
   schema:about <http://experiment.worldcat.org/entity/work/data/1104430478#Topic/constraint_programmierung> ; # Constraint-Programmierung
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104430478#Meeting/international_conference_on_principles_and_practice_of_constraint_programming_2_1996_08_19_22_cambridge_ma> ; # International Conference on Principles and Practice of Constraint Programming (2 1996.08.19-22 Cambridge, MA)
   schema:contributor <http://viaf.org/viaf/32096291> ; # Eugene C. Freuder
   schema:contributor <http://viaf.org/viaf/124001491> ; # CP
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1104430478#Meeting/cp_2_1996_08_19_22_cambridge_ma> ; # CP (2 1996.08.19-22 Cambridge, MA)
   schema:datePublished "1996" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1104430478> ;
   schema:genre "Kongress" ;
   schema:genre "Conference papers and proceedings" ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104430478#Series/> ; #
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1104430478#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science
   schema:name "Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings" ;
   schema:productID "845509254" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845509254#PublicationEvent/berlin_u_a_springer1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1104430478#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/3-540-61551-2> ;
   schema:url <http://www.springerlink.de/openurl.asp?genre=book&isbn=978-3-540-61551-4> ;
   schema:url <http://www.springerlink.com/content/n4r216174q08> ;
   schema:workExample <http://worldcat.org/isbn/9783540615514> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-61551-2> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845509254> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1104430478#Meeting/international_conference_on_principles_and_practice_of_constraint_programming_2_1996_08_19_22_cambridge_ma> # International Conference on Principles and Practice of Constraint Programming (2 1996.08.19-22 Cambridge, MA)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/1104430478#Place/cambridge_ma> ; # Cambridge, MA)
   schema:name "International Conference on Principles and Practice of Constraint Programming (2 1996.08.19-22 Cambridge, MA)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430478#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845509254> ; # Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430478#Series/lecture_notes_in_computer_science> # Lecture notes in computer science
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845509254> ; # Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings
   schema:name "Lecture notes in computer science" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430478#Topic/constraint_programmierung> # Constraint-Programmierung
    a schema:Intangible ;
   schema:name "Constraint-Programmierung" ;
    .

<http://experiment.worldcat.org/entity/work/data/1104430478#Topic/constraint_programming_computer_science_congresses> # Constraint programming (Computer science)--Congresses
    a schema:Intangible ;
   schema:hasPart <http://id.loc.gov/authorities/subjects/sh94003833> ;
   schema:name "Constraint programming (Computer science)--Congresses" ;
    .

<http://id.worldcat.org/fast/875873> # Constraint programming (Computer science)
    a schema:Intangible ;
   schema:name "Constraint programming (Computer science)" ;
    .

<http://viaf.org/viaf/32096291> # Eugene C. Freuder
    a schema:Person ;
   schema:familyName "Freuder" ;
   schema:givenName "Eugene C." ;
   schema:name "Eugene C. Freuder" ;
    .

<http://worldcat.org/isbn/9783540615514>
    a schema:ProductModel ;
   schema:isbn "3540615512" ;
   schema:isbn "9783540615514" ;
    .

<http://www.worldcat.org/title/-/oclc/845509254>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/845509254> ; # Principles and practice of constraint programming - CP96 : second international conference, CP96, Cambridge, MA, USA, August 19 - 22, 1996 ; proceedings
   schema:dateModified "2018-03-11" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.