skip to content
Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings Preview this item
ClosePreview this item
Checking...

Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings

Author: Christian Bessière
Publisher: Berlin ; New York : Springer, ©2007.
Series: Lecture notes in computer science, 4741.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed proceedings of the 13th International Conference on Principles and Practice of Constraint Programming, CP 2007. This book addresses various issues of computing with  Read more...

Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Christian Bessière
ISBN: 9783540749691 3540749691
OCLC Number: 173071264
Description: xv, 887 pages : illustrations ; 24 cm.
Contents: Invited Lectures.- Caching in Backtracking Search.- Of Mousetraps and Men: A Cautionary Tale.- Application Papers.- Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite.- Solving an Air Conditioning System Problem in an Embodiment Design Context Using Constraint Satisfaction Techniques.- Solving the Salinity Control Problem in a Potable Water System.- Exploring Different Constraint-Based Modelings for Program Verification.- An Application of Constraint Programming to Generating Detailed Operations Schedules for Steel Manufacturing.- An Efficient Model and Strategy for the Steel Mill Slab Design Problem.- Constraint-Based Temporal Reasoning for E-Learning with LODE.- Scheduling for Cellular Manufacturing.- Full Research Papers.- A Constraint Store Based on Multivalued Decision Diagrams.- GAC Via Unit Propagation.- Solution Directed Backjumping for QCSP.- Reformulating CSPs for Scalability with Application to Geospatial Reasoning.- A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.- Local Symmetry Breaking During Search in CSPs.- Encodings of the Sequence Constraint.- On Inconsistent Clause-Subsets for Max-SAT Solving.- An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming.- Tradeoffs in the Complexity of Backdoor Detection.- Model-Driven Visualizations of Constraint-Based Local Search.- Dealing with Incomplete Preferences in Soft Constraint Problems.- Efficient Computation of Minimal Point Algebra Constraints by Metagraph Closure.- MUST: Provide a Finer-Grained Explanation of Unsatisfiability.- An Integrated White+Black Box Approach for Designing and Tuning Stochastic Local Search.- Limitations of Restricted Branching in Clause Learning.- Dynamic Management of Heuristics for Solving Structured CSPs.- A Compression Algorithm for Large Arity Extensional Constraints.- Valid Inequality Based Lower Bounds for WCSP.- Advisors for Incremental Propagation.- Breaking Symmetry of Interchangeable Variables and Values.- Path Consistency by Dual Consistency.- Exploiting Past and Future: Pruning by Inconsistent Partial State Dominance.- Scheduling Conditional Task Graphs.- Towards Robust CNF Encodings of Cardinality Constraints.- AND/OR Multi-valued Decision Diagrams for Constraint Optimization.- Parallelizing Constraint Programs Transparently.- MiniZinc: Towards a Standard CP Modelling Language.- Propagation = Lazy Clause Generation.- Boosting Probabilistic Choice Operators.- A Multi-engine Solver for Quantified Boolean Formulas.- Decomposing Global Grammar Constraints.- Structural Relaxations by Variable Renaming and Their Compilation for Solving MinCostSAT.- Bound-Consistent Deviation Constraint.- Constructive Interval Disjunction.- An LP-Based Heuristic for Optimal Planning.- A Cost-Based Model and Algorithms for Interleaving Solving and Elicitation of CSPs.- On Universal Restart Strategies for Backtracking Search.- Hierarchical Hardness Models for SAT.- SATzilla-07: The Design and Analysis of an Algorithm Portfolio for SAT.- Filtering for Subgraph Isomorphism.- Solution Counting Algorithms for Constraint-Centered Search Heuristics.- Min-Domain Ordering for Asynchronous Backtracking.- Short Research Papers.- Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.- Uncertainty in Bipolar Preference Problems.- An Analysis of Slow Convergence in Interval Propagation.- The Expressive Power of Valued Constraints: Hierarchies and Collapses.- Eligible and Frozen Constraints for Solving Temporal Qualitative Constraint Networks.- The Log-Support Encoding of CSP into SAT.- Groupoids and Conditional Symmetry.- Sampling Strategies and Variable Selection in Weighted Degree Heuristics.- A Case for Simple SAT Solvers.- CP-Based Local Branching.- Strong Controllability of Disjunctive Temporal Problems with Uncertainty.- Exploiting Single-Cycle Symmetries in Branch-and-Prune algorithms.- Constraint Symmetry for the Soft CSP.- Breaking Value Symmetry.
Series Title: Lecture notes in computer science, 4741.; LNCS sublibrary., SL 2,, Programming and software engineering.
Responsibility: Christian Bessiere (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/173071264> # Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "173071264" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/915390949#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://dewey.info/class/005.116/e22/> ;
   schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/915390949#Person/bessiere_christian> ; # Christian Bessière
   schema:copyrightYear "2007" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/915390949#Meeting/cp_conference_13th_2007_providence_r_i> ; # CP (Conference) (13th : 2007 : Providence, R.I.)
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/915390949> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/915390949#Series/lncs_sublibrary> ; # LNCS sublibrary.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/915390949#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
   schema:name "Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings"@en ;
   schema:productID "173071264" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/173071264#PublicationEvent/berlin_new_york_springer_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/915390949#Agent/springer> ; # Springer
   schema:url <http://catdir.loc.gov/catdir/toc/fy0802/2007934641.html> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-74970-7> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4741> ;
   schema:workExample <http://worldcat.org/isbn/9783540749691> ;
   umbel:isLike <http://d-nb.info/985382929> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/173071264> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/915390949#Meeting/cp_conference_13th_2007_providence_r_i> # CP (Conference) (13th : 2007 : Providence, R.I.)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/915390949#Place/providence_r_i> ; # Providence, R.I.)
   schema:name "CP (Conference) (13th : 2007 : Providence, R.I.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/915390949#Person/bessiere_christian> # Christian Bessière
    a schema:Person ;
   schema:familyName "Bessière" ;
   schema:givenName "Christian" ;
   schema:name "Christian Bessière" ;
    .

<http://experiment.worldcat.org/entity/work/data/915390949#Place/providence_r_i> # Providence, R.I.)
    a schema:Place ;
   schema:name "Providence, R.I.)" ;
    .

<http://experiment.worldcat.org/entity/work/data/915390949#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/173071264> ; # Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings
   schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/915390949#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> # LNCS sublibrary. SL 2, Programming and software engineering
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/173071264> ; # Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings
   schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

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

<http://worldcat.org/isbn/9783540749691>
    a schema:ProductModel ;
   schema:isbn "3540749691" ;
   schema:isbn "9783540749691" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/173071264> ; # Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/173071264>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/173071264> ; # Principles and practice of constraint programming--CP 2007 : 13th international conference, CP 2007, Providence, RI, USA, September 23-27, 2007 : proceedings
   schema:dateModified "2016-05-10" ;
   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.