| Description |
1 online resource |
| Series |
Lecture notes in computer science, 0302-9743 ; 7514 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7514.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
| 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 |
| 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 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 |
| Analysis |
Computer science |
|
Computer software |
|
Logic design |
|
Electronic data processing |
|
Computational complexity |
|
Mathematical Logic and Formal Languages |
|
Numeric Computing |
|
Algorithm Analysis and Problem Complexity |
|
Logics and Meanings of Programs |
|
Discrete Mathematics in Computer Science |
|
Programming Languages, Compilers, Interpreters |
|
computerwetenschappen |
|
computer sciences |
|
numerieke methoden |
|
numerical methods |
|
computertechnieken |
|
computer techniques |
|
wiskunde |
|
mathematics |
|
algoritmen |
|
algorithms |
|
computeranalyse |
|
computer analysis |
|
programmeertalen |
|
programming languages |
|
logica |
|
logic |
|
Information and Communication Technology (General) |
|
Informatie- en communicatietechnologie (algemeen) |
| Bibliography |
Includes bibliographical references and author index |
| Subject |
Constraint programming (Computer science) -- Congresses
|
|
Informatique.
|
|
Constraint programming (Computer science)
|
| Genre/Form |
Conference papers and proceedings
|
|
Software.
|
| Form |
Electronic book
|
| Author |
Milano, Michela.
|
| ISBN |
9783642335587 |
|
3642335586 |
|
3642335578 |
|
9783642335570 |
|
