skip to content
Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings Preview this item
ClosePreview this item
Checking...

Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings

Author: Michela Milano
Publisher: Berlin ; New York : Springer, ©2012.
Series: Lecture notes in computer science, 7514.; LNCS sublibrary., SL 2,, Programming and software engineering.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was the traditional application track, which  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: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Michela Milano
ISBN: 9783642335587 3642335586 3642335578 9783642335570
OCLC Number: 813972788
Description: 1 online resource.
Contents: Constraint Programming and a Usability Quest / Laurent D. Michel --
Optimization Challenges in Smart Grid Operations / Miguel F. Anjos --
Where Are the Interesting Problems? / Barry O'Sullivan --
A Generic Method for Identifying and Exploiting Dominance Relations / Geoffrey Chu and Peter J. Stuckey --
Scheduling Scientific Experiments on the Rosetta/Philae Mission / Gilles Simonin, Christian Artigues, Emmanuel Hebrard and Pierre Lopez --
Max-Sur-CSP on Two Elements / Hannes Uppman --
An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality / Mohamed Siala, Emmanuel Hebrard and Marie-José Huguet --
Conflict Directed Lazy Decomposition / Ignasi Abío and Peter J. Stuckey --
Improving SAT-Based Weighted MaxSAT Solvers / Carlos Ansótegui, Maria Luisa Bonet, Joel Gabàs and Jordi Levy --
Distributed Tree Decomposition with Privacy / Vincent Armant, Laurent Simon and Philippe Dague --
Refining Restarts Strategies for SAT and UNSAT / Gilles Audemard and Laurent Simon --
Boosting Local Consistency Algorithms over Floating-Point Numbers / Mohammed Said Belaid, Claude Michel and Michel Rueher. A Model Seeker: Extracting Global Constraint Models from Positive Examples / Nicolas Beldiceanu and Helmut Simonis --
On Computing Minimal Equivalent Subformulas / Anton Belov, Mikoláš Janota, Inês Lynce and Joao Marques-Silva --
Including Soft Global Constraints in DCOPs / Christian Bessiere, Patricia Gutierrez and Pedro Meseguer --
The Weighted Average Constraint / Alessio Bonfietti and Michele Lombardi --
Weibull-Based Benchmarks for Bin Packing / Ignacio Castiñeiras, Milan De Cauwer and Barry O'Sullivan --
Space-Time Tradeoffs for the Regular Constraint / Kenil C.K. Cheng, Wei Xia and Roland H.C. Yap --
Inter-instance Nogood Learning in Constraint Programming / Geoffrey Chu and Peter J. Stuckey --
Solving Temporal Problems Using SMT: Strong Controllability / Alessandro Cimatti, Andrea Micheli and Marco Roveri --
A Characterisation of the Complexity of Forbidding Subproblems in Binary Max-CSP / Martin C. Cooper, Guillaume Escamocher and Stanislav Živný --
Optimisation Modelling for Software Developers / Kathryn Francis, Sebastian Brand and Peter J. Stuckey --
Adaptive Bisection of Numerical CSPs / Laurent Granvilliers. Resource Constrained Shortest Paths with a Super Additive Objective Function / Stefano Gualandi and Federico Malucelli --
Relating Proof Complexity Measures and Practical Hardness of SAT / Matti Järvisalo, Arie Matsliah, Jakob Nordström and Stanislav Živný --
The SeqBin Constraint Revisited / George Katsirelos, Nina Narodytska and Toby Walsh --
Eigenvector Centrality in Industrial SAT Instances / George Katsirelos and Laurent Simon --
Classifying and Propagating Parity Constraints / Tero Laitinen, Tommi Junttila and Ilkka Niemelä --
Consistencies for Ultra-Weak Solutions in Minimax Weighted CSPs Using the Duality Principle / Arnaud Lallouet, Jimmy H.M. Lee and Terrence W.K. Mak --
Propagating Soft Table Constraints / Christophe Lecoutre, Nicolas Paris, Olivier Roussel and Sébastien Tabary --
WCSP Integration of Soft Neighborhood Substitutability / Christophe Lecoutre, Olivier Roussel and Djamel E. Dehani --
Increasing Symmetry Breaking by Preserving Target Symmetries / Jimmy H.M. Lee and Jingying Li --
A Scalable Sweep Algorithm for the cumulative Constraint / Arnaud Letort, Nicolas Beldiceanu and Mats Carlsson. A New Encoding from MinSAT into MaxSAT / Zhu Zhu, Chu-Min Li, Felip Manyà and Josep Argelich --
Solving Minimal Constraint Networks in Qualitative Spatial and Temporal Reasoning / Weiming Liu and Sanjiang Li --
Containment, Equivalence and Coreness from CSP to QCSP and Beyond / Florent Madelaine and Barnaby Martin --
An Optimal Filtering Algorithm for Table Constraints / Jean-Baptiste Mairy, Pascal Van Hentenryck and Yves Deville --
Parallel SAT Solver Selection and Scheduling / Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz and Meinolf Sellmann --
Constraint Satisfaction over Bit-Vectors / Laurent D. Michel and Pascal Van Hentenryck --
Towards Solver-Independent Propagators / Jean-Noël Monette, Pierre Flener and Justin Pearson --
Interactive Algorithm for Multi-Objective Constraint Optimization / Tenda Okimoto, Yongjoon Joe, Atsushi Iwasaki, Toshihiro Matsui and Katsutoshi Hirayama, et al. --
Focus : A Constraint for Concentrating High Costs / Thierry Petit --
Refining Abstract Interpretation Based Value Analysis with Constraint Programming Techniques / Olivier Ponsini, Claude Michel and Michel Rueher --
Time-Dependent Simple Temporal Networks / Cédric Pralet and Gérard Verfaillie. Improved Bounded Max-Sum for Distributed Constraint Optimization / Emma Rollon and Javier Larrosa --
A Hybrid MIP/CP Approach for Multi-activity Shift Scheduling / Domenico Salvagnin and Toby Walsh --
Contributions to the Theory of Practical Quantified Boolean Formula Solving / Allen Van Gelder --
Breaking Variable Symmetry in Almost Injective Problems / Philippe Vismara and Remi Coletta --
Understanding, Improving and Parallelizing MUS Finding Using Model Rotation / Siert Wieringa --
Revisiting Neighborhood Inverse Consistency on Binary CSPs / Robert J. Woodward, Shant Karakashian, Berthe Y. Choueiry and Christian Bessiere --
Syntactically Characterizing Local-to-Global Consistency in ORD-Horn / Michał Wrona --
A Hybrid Paradigm for Adaptive Parallel Search / Xi Yun and Susan L. Epstein --
A Constraint Programming Approach for the Traveling Purchaser Problem / Hadrien Cambazard and Bernard Penz --
Constraint-Based Register Allocation and Instruction Scheduling / Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar and Christian Schulte --
Maximising the Net Present Value of Large Resource-Constrained Projects / Hanyu Gu, Peter J. Stuckey and Mark G. Wallace. Comparing Solution Methods for the Machine Reassignment Problem / Deepak Mehta, Barry O'Sullivan and Helmut Simonis --
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets / Faten Nabli, François Fages, Thierry Martinez and Sylvain Soliman --
Cardinality Reasoning for Bin-Packing Constraint: Application to a Tank Allocation Problem / Pierre Schaus, Jean-Charles Régin, Rowan Van Schaeren, Wout Dullaert and Birger Raa --
The Offshore Resources Scheduling Problem: Detailing a Constraint Programming Approach / Thiago Serra, Gilberto Nishioka and Fernando J.M. Marcellino --
Computational Protein Design as a Cost Function Network Optimization Problem / David Allouche, Seydou Traoré, Isabelle André, Simon de Givry and George Katsirelos, et al. --
A Filtering Technique for Fragment Assembly- Based Proteins Loop Modeling with Constraints / Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli --
A Branch and Prune Algorithm for the Computation of Generalized Aspects of Parallel Robots / Stéphane Caro, Damien Chablat, Alexandre Goldsztejn, Daisuke Ishii and Christophe Jermann. The Semigroups of Order 10 / Andreas Distler, Chris Jefferson, Tom Kelsey and Lars Kotthoff --
Exploring Chemistry Using SMT / Rolf Fagerberg, Christoph Flamm, Daniel Merkle and Philipp Peters --
A Pseudo-Boolean Set Covering Machine / Pascal Germain, Sébastien Giguère, Jean-Francis Roy, Brice Zirakiza and François Laviolette, et al. --
Finding a Nash Equilibrium by Asynchronous Backtracking / Alon Grubshtein and Amnon Meisels --
Reasoning over Biological Networks Using Maximum Satisfiability / João Guerra and Inês Lynce --
Properties of Energy-Price Forecasts for Scheduling / Georgiana Ifrim, Barry O'Sullivan and Helmut Simonis --
Aggregating Conditionally Lexicographic Preferences on Multi-issue Domains / Jérôme Lang, Jérôme Mengin and Lirong Xia --
Constraint Programming for Path Planning with Uncertainty / Solving the Optimal Search Path Problem / Michael Morin, Anika-Pascale Papillon, Irène Abi-Zeid, François Laviolette and Claude-Guy Quimper --
Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry / Santiago Ontañón and Pedro Meseguer.
Series Title: Lecture notes in computer science, 7514.; LNCS sublibrary., SL 2,, Programming and software engineering.
Other Titles: CP 2012
Responsibility: Michela Milano (ed.).
More information:

Abstract:

Constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Quebec, Canada, in October  Read more...

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/813972788> # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "813972788" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1182123355#Place/berlin> ; # Berlin
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/logic_design> ; # Logic design.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/computer_science> ; # Computer science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Topic/informatique> ; # Informatique
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/discrete_mathematics_in_computer_science> ; # Discrete Mathematics in Computer Science.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/logics_and_meanings_of_programs> ; # Logics and Meanings of Programs.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/algorithm_analysis_and_problem_complexity> ; # Algorithm Analysis and Problem Complexity.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/computer_software> ; # Computer software.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/computational_complexity> ; # Computational complexity.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/electronic_data_processing> ; # Electronic data processing.
    schema:about <http://experiment.worldcat.org/entity/work/data/1182123355#Thing/numeric_computing> ; # Numeric Computing.
    schema:about <http://id.worldcat.org/fast/875873> ; # Constraint programming (Computer science)
    schema:about <http://dewey.info/class/005.116/e23/> ;
    schema:alternateName "CP 2012" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/49521117> ; # Michela Milano
    schema:copyrightYear "2012" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1182123355#Meeting/cp_conference_18th_2012_quebec_quebec> ; # CP (Conference) (18th : 2012 : Québec, Québec)
    schema:datePublished "2012" ;
    schema:description "This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks. The former was the traditional application track, which focused on industrial and academic uses of constraint technology and its comparison and integration with other optimization techniques (MIP, local search, SAT, etc.) The second track, featured for the first time in 2012, concentrated on multidisciplinary papers: cross-cutting methodology and challenging applications collecting papers that link CP technology with other techniques like machine learning, data mining, game theory, simulation, knowledge compilation, visualization, control theory, and robotics. In addition, the track focused on challenging application fields with a high social impact such as CP for life sciences, sustainability, energy efficiency, web, social sciences, finance, and verification."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1182123355> ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1182123355#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1182123355#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1182123355#Series/lncs_sublibrary_sl_2_programming_and_software_engineering> ; # LNCS sublibrary. SL 2, Programming and software engineering
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1182123355#CreativeWork/> ;
    schema:name "Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings"@en ;
    schema:productID "813972788" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/813972788#PublicationEvent/berlin_new_york_springer_2012> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1182123355#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-3-642-33558-7> ;
    schema:url <http://public.eblib.com/choice/PublicFullRecord.aspx?p=3069905> ;
    schema:url <http://site.ebrary.com/id/10651243> ;
    schema:workExample <http://worldcat.org/isbn/9783642335570> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-33558-7> ;
    schema:workExample <http://worldcat.org/isbn/9783642335587> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/813972788> ;
    .


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/1182123355#Meeting/cp_conference_18th_2012_quebec_quebec> # CP (Conference) (18th : 2012 : Québec, Québec)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1182123355#Place/quebec_quebec> ; # Québec, Québec)
    schema:name "CP (Conference) (18th : 2012 : Québec, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Place/quebec_quebec> # Québec, Québec)
    a schema:Place ;
    schema:name "Québec, Québec)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/813972788> ; # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/813972788> ; # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#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/813972788> ; # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    schema:name "LNCS sublibrary. SL 2, Programming and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/algorithm_analysis_and_problem_complexity> # Algorithm Analysis and Problem Complexity.
    a schema:Thing ;
    schema:name "Algorithm Analysis and Problem Complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/computational_complexity> # Computational complexity.
    a schema:Thing ;
    schema:name "Computational complexity." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/computer_software> # Computer software.
    a schema:Thing ;
    schema:name "Computer software." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/discrete_mathematics_in_computer_science> # Discrete Mathematics in Computer Science.
    a schema:Thing ;
    schema:name "Discrete Mathematics in Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/electronic_data_processing> # Electronic data processing.
    a schema:Thing ;
    schema:name "Electronic data processing." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/logics_and_meanings_of_programs> # Logics and Meanings of Programs.
    a schema:Thing ;
    schema:name "Logics and Meanings of Programs." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages.
    a schema:Thing ;
    schema:name "Mathematical Logic and Formal Languages." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/numeric_computing> # Numeric Computing.
    a schema:Thing ;
    schema:name "Numeric Computing." ;
    .

<http://experiment.worldcat.org/entity/work/data/1182123355#Thing/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters.
    a schema:Thing ;
    schema:name "Programming Languages, Compilers, Interpreters." ;
    .

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

<http://viaf.org/viaf/49521117> # Michela Milano
    a schema:Person ;
    schema:familyName "Milano" ;
    schema:givenName "Michela" ;
    schema:name "Michela Milano" ;
    .

<http://worldcat.org/entity/work/data/1182123355#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/813972788> ; # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    .

<http://worldcat.org/isbn/9783642335570>
    a schema:ProductModel ;
    schema:isbn "3642335578" ;
    schema:isbn "9783642335570" ;
    .

<http://worldcat.org/isbn/9783642335587>
    a schema:ProductModel ;
    schema:isbn "3642335586" ;
    schema:isbn "9783642335587" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/813972788> ; # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    schema:issn "0302-9743" ;
    schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/813972788>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/813972788> ; # Principles and practice of constraint programming : 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings
    schema:dateModified "2016-09-18" ;
    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.