More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

23rd CP 2017: Melbourne, VIC, Australia

> 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/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/2017
J. Christopher Beck:
Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings. Lecture Notes in Computer Science 10416, Springer 2017, ISBN 978-3-319-66157-5

Technical Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/AmadiniGST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AmadiniGST17
Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack:
A Novel Approach to String Constraint Solving. 3-20
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ArafailovaBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ArafailovaBS17
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Generating Linear Invariants for a Conjunction of Automata Constraints. 21-37
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ArafailovaBS17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ArafailovaBS17a
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
among Implied Constraints for Two Families of Time-Series Constraints. 38-54
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BilgoryBZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BilgoryBZ17
Erez Bilgory, Eyal Bin, Avi Ziv:
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. 55-70
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BofillCSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BofillCSV17
Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret:
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. 71-79
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Dalmau17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Dalmau17
Víctor Dalmau:
Conjunctions of Among Constraints. 80-96
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GivryK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GivryK17
Simon de Givry, George Katsirelos:
Clique Cuts in Weighted Constraint Satisfaction. 97-113
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GermanBCJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GermanBCJ17
Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost:
Arc Consistency via Linear Programming. 114-128
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GlorianBLLM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GlorianBLLM17
Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure:
Combining Nogoods in Restart-Based Search. 129-138
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HamJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HamJ17
Lucy Ham, Marcel Jackson:
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. 139-156
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LagerkvistW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LagerkvistW17
Victor Lagerkvist, Magnus Wahlström:
Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra. 157-171
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LagniezMP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LagniezMP17
Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou:
Defining and Evaluating Heuristics for the Compilation of Constraint Networks. 172-188
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LiuCMJM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LiuCMJM17
Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel:
A Tolerant Algebraic Side-Channel Attack on AES Using CP. 189-205
- view
  authority control:
- export record
  dblp key:
  - conf/cp/McCreeshPST17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/McCreeshPST17
Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble:
On Maximum Weight Clique Algorithms, and How They Are Evaluated. 206-225
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PerezR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PerezR17
Guillaume Perez, Jean-Charles Régin:
MDDs: Sampling and Probability Constraints. 226-242
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Pralet17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Pralet17
Cédric Pralet:
An Incomplete Constraint-Based System for Scheduling with Renewable Resources. 243-261
- view
  authority control:
- export record
  dblp key:
  - conf/cp/0002O17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/0002O17
Mohamed Siala, Barry O'Sullivan:
Rotation-Based Formulation for Stable Matching. 262-277
- view
  authority control:
- export record
  dblp key:
  - conf/cp/TabakhiLF017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/TabakhiLF017
Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh:
Preference Elicitation for DCOPs. 278-296
- view
  authority control:
- export record
  dblp key:
  - conf/cp/VerhaegheLDS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/VerhaegheLDS17
Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus:
Extending Compact-Table to Basic Smart Tables. 297-307
- view
  authority control:
- export record
  dblp key:
  - conf/cp/YoungFS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/YoungFS17
Kenneth D. Young, Thibaut Feydy, Andreas Schutt:
Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. 308-317

Application Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/BelovCDBWW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BelovCDBWW17
Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace:
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. 321-337
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GoldwaserS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GoldwaserS17
Adrian Goldwaser, Andreas Schutt:
Optimal Torpedo Scheduling. 338-353
- view
  authority control:
- export record
  dblp key:
  - conf/cp/KnudsenCL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/KnudsenCL17
Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen:
Constraint Handling in Flight Planning. 354-369
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LiuCGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LiuCGM17
Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro:
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. 370-386
- view
  authority control:
- export record
  dblp key:
  - conf/cp/MossigeGSMC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/MossigeGSMC17
Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. 387-404
- view
  authority control:
- export record
  dblp key:
  - conf/cp/PanJGSMYZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/PanJGSMYZ17
Linjie Pan, Ji-Wei Jin, Xin Gao, Wei Sun, Feifei Ma, Minghao Yin, Jian Zhang:
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. 405-413
- view
  authority control:
- export record
  dblp key:
  - conf/cp/UrliK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/UrliK17
Tommaso Urli, Philip Kilby:
Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing. 414-430
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HoeveT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HoeveT17
Willem-Jan van Hoeve, Sridhar R. Tayur:
Integer and Constraint Programming for Batch Annealing Process Planning. 431-439

Machine Learning and CP Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/BergOJP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BergOJP17
Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki:
Minimum-Width Confidence Bands via Constraint Optimization. 443-459
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ChabertS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ChabertS17
Maxime Chabert, Christine Solnon:
Constraint Programming for Multi-criteria Conceptual Clustering. 460-476
- view
  authority control:
- export record
  dblp key:
  - conf/cp/GanjiBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/GanjiBS17
Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
A Declarative Approach to Constrained Community Detection. 477-494
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LatourBDKBN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LatourBDKBN17
Anna L. D. Latour, Behrouz Babaki, Anton Dries, Angelika Kimmig, Guy Van den Broeck, Siegfried Nijssen:
Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving. 495-511
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Picard-CantinBQ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Picard-CantinBQ17
Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney:
Learning the Parameters of Global Constraints Using Branch-and-Bound. 512-528
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SchausAG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SchausAG17
Pierre Schaus, John O. R. Aoga, Tias Guns:
CoverSize: A Global Constraint for Frequency-Based Itemset Mining. 529-546

Operations Research and CP Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/HasanH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HasanH17
Mohd. Hafiz Hasan, Pascal Van Hentenryck:
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. 549-564
- view
  authority control:
- export record
  dblp key:
  - conf/cp/Hooker17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/Hooker17
John N. Hooker:
Job Sequencing Bounds from Decision Diagrams. 565-578
- view
  authority control:
- export record
  dblp key:
  - conf/cp/LamH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/LamH17
Edward Lam, Pascal Van Hentenryck:
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. 579-595
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SohBTB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SohBTB17
Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre:
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. 596-614
- view
  authority control:
- export record
  dblp key:
  - conf/cp/SubramaniW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/SubramaniW17
K. Subramani, Piotr Wojciechowski:
Analyzing Lattice Point Feasibility in UTVPI Constraints. 615-629
- view
  authority control:
- export record
  dblp key:
  - conf/cp/XuKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/XuKK17
Hong Xu, Sven Koenig, T. K. Satish Kumar:
A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP. 630-638

Satisfiability and CP Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/BacchusHJS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BacchusHJS17
Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko:
Reduced Cost Fixing in MaxSAT. 641-651
- view
  authority control:
- export record
  dblp key:
  - conf/cp/BergJ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/BergJ17
Jeremias Berg, Matti Järvisalo:
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. 652-670
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ZhouK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ZhouK17
Neng-Fa Zhou, Håkan Kjellerstrand:
Optimizing SAT Encodings for Arithmetic Constraints. 671-686

Test and Verification and CP Track

- view
  authority control:
- export record
  dblp key:
  - conf/cp/AlbarghouthiKNS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/AlbarghouthiKNS17
Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith:
Constraint-Based Synthesis of Datalog Programs. 689-706
- view
  authority control:
- export record
  dblp key:
  - conf/cp/ZitounMRM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/ZitounMRM17
Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel:
Search Strategies for Floating Point Constraint Systems. 707-722

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.