default search action

combined dblp search
author search
venue search
publication search

ask others

22nd CP 2016: Toulouse, France

> Home > Conferences and Workshops > CP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cp/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/2016
Michel Rueher:
Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Lecture Notes in Computer Science 9892, Springer 2016, ISBN 978-3-319-44952-4

Technical Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/AkgunGJMN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AkgunGJMN16
Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale:
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. 3-12
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ArafailovaBCFRP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ArafailovaBCFRP16
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis:
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. 13-29
- view
  authority control:
- export record
  dblp key:
  - conf/cp/AudemardLST16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AudemardLST16
Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary:
An Adaptive Parallel SAT Solver. 30-48
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BelovSTW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BelovSTW16
Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace:
Improved Linearization of Constraint Programming Models. 49-65
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BergJ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BergJ16
Jeremias Berg, Matti Järvisalo:
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. 66-85
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BergmanC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BergmanC16
David Bergman, André Augusto Ciré:
Multiobjective Optimization by Decision Diagrams. 86-95
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BeyersdorffB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BeyersdorffB16
Olaf Beyersdorff, Joshua Blinkhorn:
Dependency Schemes in QBF Calculi: Semantics and Soundness. 96-112
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BonfiettiZLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BonfiettiZLM16
Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi, Michela Milano:
The Multirate Resource Constraint. 113-129
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Carbonnel16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Carbonnel16
Clément Carbonnel:
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable. 130-146
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CarbonnelH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CarbonnelH16
Clément Carbonnel, Emmanuel Hebrard:
Propagation via Kernelization: The Vertex Cover Constraint. 147-156
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CodishGIS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CodishGIS16
Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey:
Breaking Symmetries in Graphs: The Nauty Way. 157-172
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CooperMT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CooperMT16
Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux:
Extending Broken Triangles and Enhanced Value-Merging. 173-188
- view
  authority control:
- export record
  dblp key:
  - conf/cp/UnaGSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/UnaGSS16
Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey:
A Bounded Path Propagator on Directed Graphs. 189-206
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DemeulenaereHLP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DemeulenaereHLP16
Jordan Demeulenaere, Renaud Hartert, Christophe Lecoutre, Guillaume Perez, Laurent Perron, Jean-Charles Régin, Pierre Schaus:
Compact-Table: Efficiently Filtering Table Constraints with Reversible Sparse Bit-Sets. 207-223
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FeydyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FeydyS16
Thibaut Feydy, Peter J. Stuckey:
Interval Constraints with Learning: Application to Air Traffic Control. 224-232
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GanianRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GanianRS16
Robert Ganian, M. S. Ramanujan, Stefan Szeider:
Backdoors to Tractable Valued CSP. 233-250
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GoffinetR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GoffinetR16
Jack Goffinet, Raghuram Ramanujan:
Monte-Carlo Tree Search for the Maximum Satisfiability Problem. 251-267
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HunsbergerP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HunsbergerP16
Luke Hunsberger, Roberto Posenato:
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. 268-286
- view
  authority control:
- export record
  dblp key:
  - conf/cp/IgnatievPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/IgnatievPM16
Alexey Ignatiev, Alessandro Previti, João Marques-Silva:
On Finding Minimum Satisfying Assignments. 287-297
- view
  authority control:
- export record
  dblp key:
  - conf/cp/JegouKT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/JegouKT16
Philippe Jégou, Hanan Kanso, Cyril Terrioux:
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size. 298-315
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KuB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KuB16
Wen-Yang Ku, J. Christopher Beck:
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. 316-332
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LazaarLLMLBB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LazaarLLMLBB16
Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault:
A Global Constraint for Closed Frequent Pattern Mining. 333-349
- view
  authority control:
- export record
  dblp key:
  - conf/cp/McCreeshNPS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/McCreeshNPS16
Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon:
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. 350-368
- view
  authority control:
- export record
  dblp key:
  - conf/cp/NagarajanLYB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/NagarajanLYB16
Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent:
Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning. 369-387
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PalmieriRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PalmieriRS16
Anthony Palmieri, Jean-Charles Régin, Pierre Schaus:
Parallel Strategies Selection. 388-404
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Picard-CantinBQ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Picard-CantinBQ16
Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney:
Learning Parameters for the Sequence Constraint from Solutions. 405-420
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HertliHMMSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HertliHMMSS16
Timon Hertli, Isabelle Hurbain, Sebastian Millius, Robin A. Moser, Dominik Scheder, May Szedlák:
The PPSZ Algorithm for Constraint Satisfaction Problems on More Than Two Colors. 421-437
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchuttS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchuttS16
Andreas Schutt, Peter J. Stuckey:
Explaining Producer/Consumer Constraints. 438-454
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ShishmarevMTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ShishmarevMTB16
Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda:
Learning from Learning Solvers. 455-472
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SiZMJIN16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SiZMJIN16
Xujie Si, Xin Zhang, Vasco Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik:
On Incremental Core-Guided MaxSAT Solving. 473-482
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SzerediS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SzerediS16
Ria Szeredi, Andreas Schutt:
Modelling and Solving Multi-mode Resource-Constrained Project Scheduling. 483-492
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Tesch16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Tesch16
Alexander Tesch:
A Nearly Exact Propagation Algorithm for Energetic Reasoning in \mathcal O(n^2 \log n). 493-519
- view
  authority control:
- export record
  dblp key:
  - conf/cp/CauwelaertDMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/CauwelaertDMS16
Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette, Pierre Schaus:
Efficient Filtering for the Unary Resource with Family-Based Transition Times. 520-535

Application Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/BoothNB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BoothNB16
Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck:
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. 539-555
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Alesio16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Alesio16
Stefano Di Alesio:
Optimal Performance Tuning in Real-Time Systems Using Multi-objective Constrained Optimization. 556-574
- view
  authority control:
- export record
  dblp key:
  - conf/cp/DuqueDA16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/DuqueDA16
Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez:
SABIO: An Implementation of MIP and CP for Interactive Soccer Queries. 575-583
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GeraultMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GeraultMS16
David Gérault, Marine Minier, Christine Solnon:
Constraint Programming Models for Chosen Key Differential Cryptanalysis. 584-601
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GilesH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GilesH16
Katherine Giles, Willem-Jan van Hoeve:
Solving a Supply-Delivery Scheduling Problem with Constraint Programming. 602-617
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GouletLCIQ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GouletLCIQ16
Vincent Goulet, Wei Li, Hyunmin Cheong, Francesco Iorio, Claude-Guy Quimper:
Four-Bar Linkage Synthesis Using Non-convex Optimization. 618-635
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LorcaPQR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LorcaPQR16
Xavier Lorca, Charles Prud'homme, Aurélien Questel, Benoît Rottembourg:
Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. 636-649
- view
  authority control:
- export record
  dblp key:
  - conf/cp/MaGYPJLZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/MaGYPJLZ16
Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan, Ji-Wei Jin, Hai Liu, Jian Zhang:
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. 650-665
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SebbahBCK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SebbahBCK16
Samir Sebbah, Claire Bagley, Mike Colena, Serdar Kadioglu:
Availability Optimization in Cloud-Based In-Memory Data Grids. 666-679

Computational Sustainability Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/LimHTB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LimHTB16
BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel:
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. 683-700
- view
  authority control:
- export record
  dblp key:
  - conf/cp/XueDFWG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/XueDFWG16
Yexiang Xue, Ian Davies, Daniel Fink, Christopher Wood, Carla P. Gomes:
Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. 701-717

CP and Biology Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/KrippahlB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KrippahlB16
Ludwig Krippahl, Pedro Barahona:
Constraining Redundancy to Improve Protein Docking. 721-732
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ViricelSBS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ViricelSBS16
Clément Viricel, David Simoncini, Sophie Barbe, Thomas Schiex:
Guaranteed Weighted Counting for Affinity Computation: Beyond Determinism and Structure. 733-750

Music Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/Hooker16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Hooker16
John N. Hooker:
Finding Alternative Musical Scales. 753-768
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PapadopoulosRP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PapadopoulosRP16
Alexandre Papadopoulos, Pierre Roy, François Pachet:
Assisted Lead Sheet Composition Using FlowComposer. 769-785
- view
  authority control:
- export record
  dblp key:
  - conf/cp/RoyPRPPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/RoyPRPPM16
Pierre Roy, Guillaume Perez, Jean-Charles Régin, Alexandre Papadopoulos, François Pachet, Marco Marchini:
Enforcing Structure on Temporal Sequences: The Allen Constraint. 786-801
- view
  authority control:
- export record
  dblp key:
  - conf/cp/TanakaBM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TanakaBM16
Tsubasa Tanaka, Brian Bemman, David Meredith:
Constraint Programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays. 802-810

Preference, Social Choice and Optimization Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/Fioretto0P16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Fioretto0P16
Ferdinando Fioretto, William Yeoh, Enrico Pontelli:
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. 813-831
- view
  authority control:
- export record
  dblp key:
  - conf/cp/McCreeshPT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/McCreeshPT16
Ciaran McCreesh, Patrick Prosser, James Trimble:
Morphing Between Stable Matching Problems. 832-840

Testing and Verification Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/AharoniBDKTV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AharoniBDKTV16
Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler:
Using Graph-Based CSP to Solve the Address Translation Problem. 843-858
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SunIKE16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SunIKE16
Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu:
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm. 859-875

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.