Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Shan He, Mark Wallace 0001, Graeme Gange, Ariel Liebman, Campbell Wilson |
A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 649-666, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Saïd Jabbour, Fatima Ezzahra Mana, Imen Ouled Dlala, Badran Raddaoui, Lakhdar Sais |
On Maximal Frequent Itemsets Mining with Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 554-569, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Gael Glorian, Jean-Marie Lagniez, Valentin Montmirail, Michael Sioutis |
An Incremental SAT-Based Approach to Reason Efficiently on Qualitative Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 160-178, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh |
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings, pp. 737-754, 2018, Springer, 978-3-319-98333-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Linjie Pan 0001, Ji-Wei Jin, Xin Gao, Wei Sun 0001, Feifei Ma, Minghao Yin, Jian Zhang 0001 |
Integrating ILP and SMT for Shortwave Radio Broadcast Resource Allocation and Frequency Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 405-413, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lucy Ham, Marcel Jackson |
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 139-156, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fanghui Liu 0002, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel |
A Tolerant Algebraic Side-Channel Attack on AES Using CP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 189-205, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Víctor Dalmau |
Conjunctions of Among Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 80-96, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohadeseh Ganji, James Bailey 0001, Peter J. Stuckey |
A Declarative Approach to Constrained Community Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 477-494, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble 0001 |
On Maximum Weight Clique Algorithms, and How They Are Evaluated. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 206-225, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure |
Combining Nogoods in Restart-Based Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 129-138, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki |
Minimum-Width Confidence Bands via Constraint Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 443-459, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Simon de Givry, George Katsirelos |
Clique Cuts in Weighted Constraint Satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 97-113, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hong Xu 0003, Sven Koenig, T. K. Satish Kumar |
A Constraint Composite Graph-Based ILP Encoding of the Boolean Weighted CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 630-638, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace 0001 |
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 321-337, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret |
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 71-79, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko |
Reduced Cost Fixing in MaxSAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 641-651, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Victor Lagerkvist, Magnus Wahlström |
Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 157-171, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Edward Lam 0001, Pascal Van Hentenryck |
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 579-595, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Schaus, John O. R. Aoga, Tias Guns |
CoverSize: A Global Constraint for Frequency-Based Itemset Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 529-546, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou |
Defining and Evaluating Heuristics for the Compilation of Constraint Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 172-188, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | J. Christopher Beck (eds.) |
Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![Springer, 978-3-319-66157-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tong Liu 0004, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro |
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 370-386, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Willem-Jan van Hoeve, Sridhar R. Tayur |
Integer and Constraint Programming for Batch Annealing Process Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 431-439, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson |
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 387-404, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen |
Constraint Handling in Flight Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 354-369, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohd. Hafiz Hasan, Pascal Van Hentenryck |
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 549-564, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Job Sequencing Bounds from Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 565-578, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel |
Search Strategies for Floating Point Constraint Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 707-722, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney |
Learning the Parameters of Global Constraints Using Branch-and-Bound. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 512-528, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 495-511, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Erez Bilgory, Eyal Bin, Avi Ziv |
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 55-70, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Perez, Jean-Charles Régin |
MDDs: Sampling and Probability Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 226-242, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | K. Subramani 0001, Piotr Wojciechowski 0002 |
Analyzing Lattice Point Feasibility in UTVPI Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 615-629, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Adrian Goldwaser, Andreas Schutt |
Optimal Torpedo Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 338-353, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed Siala 0002, Barry O'Sullivan |
Rotation-Based Formulation for Stable Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 262-277, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Matti Järvisalo |
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 652-670, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
Generating Linear Invariants for a Conjunction of Automata Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 21-37, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost |
Arc Consistency via Linear Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 114-128, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Neng-Fa Zhou, Håkan Kjellerstrand |
Optimizing SAT Encodings for Arithmetic Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 671-686, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth D. Young, Thibaut Feydy, Andreas Schutt |
Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 308-317, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Maxime Chabert, Christine Solnon |
Constraint Programming for Multi-criteria Conceptual Clustering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 460-476, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis |
among Implied Constraints for Two Families of Time-Series Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 38-54, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith |
Constraint-Based Synthesis of Datalog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 689-706, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh 0001 |
Preference Elicitation for DCOPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 278-296, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Cédric Pralet |
An Incomplete Constraint-Based System for Scheduling with Renewable Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 243-261, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre |
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 596-614, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Amadini, Graeme Gange, Peter J. Stuckey, Guido Tack |
A Novel Approach to String Constraint Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 3-20, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Tommaso Urli, Philip Kilby |
Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 414-430, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus |
Extending Compact-Table to Basic Smart Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, pp. 297-307, 2017, Springer, 978-3-319-66157-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel |
The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 130-146, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Patrick Prosser, James Trimble 0001 |
Morphing Between Stable Matching Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 832-840, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Gérault, Marine Minier, Christine Solnon |
Constraint Programming Models for Chosen Key Differential Cryptanalysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 584-601, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Roy, Guillaume Perez, Jean-Charles Régin, Alexandre Papadopoulos, François Pachet, Marco Marchini |
Enforcing Structure on Temporal Sequences: The Allen Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 786-801, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jack Goffinet, Raghuram Ramanujan |
Monte-Carlo Tree Search for the Maximum Satisfiability Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 251-267, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Diego de Uña, Graeme Gange, Peter Schachte, Peter J. Stuckey |
A Bounded Path Propagator on Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 189-206, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Goulet, Wei Li 0002, Hyunmin Cheong, Francesco Iorio, Claude-Guy Quimper |
Four-Bar Linkage Synthesis Using Non-convex Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 618-635, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney |
Learning Parameters for the Sequence Constraint from Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 405-420, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Luke Hunsberger, Roberto Posenato |
A New Approach to Checking the Dynamic Consistency of Conditional Simple Temporal Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 268-286, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xujie Si, Xin Zhang 0035, Vasco M. Manquinho, Mikolás Janota, Alexey Ignatiev, Mayur Naik |
On Incremental Core-Guided MaxSAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 473-482, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 421-437, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ferdinando Fioretto, William Yeoh 0001, Enrico Pontelli |
A Dynamic Programming-Based MCMC Framework for Solving DCOPs with GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 813-831, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jeremias Berg, Matti Järvisalo |
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 66-85, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Olaf Beyersdorff, Joshua Blinkhorn |
Dependency Schemes in QBF Calculi: Semantics and Soundness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 96-112, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ria Szeredi, Andreas Schutt |
Modelling and Solving Multi-mode Resource-Constrained Project Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 483-492, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 207-223, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Wen-Yang Ku, J. Christopher Beck |
Constraint Programming for Strictly Convex Integer Quadratically-Constrained Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 316-332, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sébastien Tabary |
An Adaptive Parallel SAT Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 30-48, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Samir Sebbah, Claire Bagley, Mike Colena, Serdar Kadioglu |
Availability Optimization in Cloud-Based In-Memory Data Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 666-679, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Tesch |
A Nearly Exact Propagation Algorithm for Energetic Reasoning in \mathcal O(n^2 \log n). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 493-519, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Michael Codish, Graeme Gange, Avraham Itzhakov, Peter J. Stuckey |
Breaking Symmetries in Graphs: The Nauty Way. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 157-172, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace 0001 |
Improved Linearization of Constraint Programming Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 49-65, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Martin C. Cooper, Achref El Mouelhi, Cyril Terrioux |
Extending Broken Triangles and Enhanced Value-Merging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 173-188, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel |
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 683-700, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tsubasa Tanaka, Brian Bemman, David Meredith 0001 |
Constraint Programming Approach to the Problem of Generating Milton Babbitt's All-Partition Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 802-810, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maxim Shishmarev, Christopher Mears, Guido Tack, Maria Garcia de la Banda |
Learning from Learning Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 455-472, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Thibaut Feydy, Peter J. Stuckey |
Interval Constraints with Learning: Application to Air Traffic Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 224-232, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 13-29, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Jégou, Hanan Kanso, Cyril Terrioux |
Towards a Dynamic Decomposition of CSPs with Separators of Bounded Size. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 298-315, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Harsha Nagarajan, Mowen Lu, Emre Yamangil, Russell Bent |
Tightening McCormick Relaxations for Nonlinear Programs via Dynamic Multivariate Partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 369-387, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Clément Carbonnel, Emmanuel Hebrard |
Propagation via Kernelization: The Vertex Cover Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 147-156, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Merav Aharoni, Yael Ben-Haim, Shai Doron, Anatoly Koyfman, Elena Tsanko, Michael Veksler |
Using Graph-Based CSP to Solve the Address Translation Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 843-858, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yexiang Xue, Ian Davies, Daniel Fink 0002, Christopher Wood, Carla P. Gomes |
Behavior Identification in Two-Stage Games for Incentivizing Citizen Science Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 701-717, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Feifei Ma, Xin Gao, Minghao Yin, Linjie Pan 0001, Ji-Wei Jin, Hai Liu, Jian Zhang 0001 |
Optimizing Shortwave Radio Broadcast Resource Allocation via Pseudo-Boolean Constraint Solving and Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 650-665, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Schutt, Peter J. Stuckey |
Explaining Producer/Consumer Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 438-454, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katherine Giles, Willem-Jan van Hoeve |
Solving a Supply-Delivery Scheduling Problem with Constraint Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 602-617, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Bonfietti, Alessandro Zanarini, Michele Lombardi 0001, Michela Milano |
The Multirate Resource Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 113-129, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexey Ignatiev, Alessandro Previti, João Marques-Silva 0001 |
On Finding Minimum Satisfying Assignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 287-297, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robert Ganian, M. S. Ramanujan 0001, Stefan Szeider |
Backdoors to Tractable Valued CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 233-250, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Papadopoulos, Pierre Roy, François Pachet |
Assisted Lead Sheet Composition Using FlowComposer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 769-785, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Kyle E. C. Booth, Goldie Nejat, J. Christopher Beck |
A Constraint Programming Approach to Multi-Robot Task Allocation and Scheduling in Retirement Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 539-555, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Özgür Akgün, Ian P. Gent, Christopher Jefferson, Ian Miguel, Peter Nightingale |
Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 3-12, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu |
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 859-875, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Robinson Duque, Juan Francisco Díaz, Alejandro Arbelaez |
SABIO: An Implementation of MIP and CP for Interactive Soccer Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 575-583, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Lorca, Charles Prud'homme, Aurélien Questel, Benoît Rottembourg |
Using Constraint Programming for the Urban Transit Crew Rescheduling Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 636-649, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Palmieri, Jean-Charles Régin, Pierre Schaus |
Parallel Strategies Selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 388-404, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Van Cauwelaert, Cyrille Dejemeppe, Jean-Noël Monette, Pierre Schaus |
Efficient Filtering for the Unary Resource with Family-Based Transition Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 520-535, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Nadjib Lazaar, Yahia Lebbah, Samir Loudni, Mehdi Maamar, Valentin Lemière, Christian Bessiere, Patrice Boizumault |
A Global Constraint for Closed Frequent Pattern Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 333-349, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John N. Hooker |
Finding Alternative Musical Scales. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 753-768, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ciaran McCreesh, Samba Ndojh Ndiaye, Patrick Prosser, Christine Solnon |
Clique and Constraint Models for Maximum Common (Connected) Subgraph Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, pp. 350-368, 2016, Springer, 978-3-319-44952-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|