Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23rd CP 2017: Melbourne, VIC, Australia
- 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
- Roberto Amadini, Graeme Gange, Peter J. Stuckey
, Guido Tack:
A Novel Approach to String Constraint Solving. 3-20 - Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Generating Linear Invariants for a Conjunction of Automata Constraints. 21-37 - Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
among Implied Constraints for Two Families of Time-Series Constraints. 38-54 - Erez Bilgory, Eyal Bin, Avi Ziv:
Solving Constraint Satisfaction Problems Containing Vectors of Unknown Size. 55-70 - Miquel Bofill, Jordi Coll, Josep Suy, Mateu Villaret:
An Efficient SMT Approach to Solve MRCPSP/max Instances with Tight Constraints on Resources. 71-79 - Víctor Dalmau:
Conjunctions of Among Constraints. 80-96 - Simon de Givry, George Katsirelos:
Clique Cuts in Weighted Constraint Satisfaction. 97-113 - Grigori German, Olivier Briant, Hadrien Cambazard, Vincent Jost:
Arc Consistency via Linear Programming. 114-128 - Gael Glorian, Frédéric Boussemart, Jean-Marie Lagniez, Christophe Lecoutre, Bertrand Mazure:
Combining Nogoods in Restart-Based Search. 129-138 - Lucy Ham, Marcel Jackson:
All or Nothing: Toward a Promise Problem Dichotomy for Constraint Problems. 139-156 - Victor Lagerkvist, Magnus Wahlström:
Kernelization of Constraint Satisfaction Problems: A Study Through Universal Algebra. 157-171 - Jean-Marie Lagniez, Pierre Marquis, Anastasia Paparrizou:
Defining and Evaluating Heuristics for the Compilation of Constraint Networks. 172-188 - Fanghui Liu, Waldemar Cruz, Chujiao Ma, Greg Johnson, Laurent Michel:
A Tolerant Algebraic Side-Channel Attack on AES Using CP. 189-205 - Ciaran McCreesh, Patrick Prosser, Kyle A. Simpson, James Trimble:
On Maximum Weight Clique Algorithms, and How They Are Evaluated. 206-225 - Guillaume Perez, Jean-Charles Régin:
MDDs: Sampling and Probability Constraints. 226-242 - Cédric Pralet:
An Incomplete Constraint-Based System for Scheduling with Renewable Resources. 243-261 - Mohamed Siala, Barry O'Sullivan:
Rotation-Based Formulation for Stable Matching. 262-277 - Atena M. Tabakhi, Tiep Le, Ferdinando Fioretto, William Yeoh:
Preference Elicitation for DCOPs. 278-296 - Hélène Verhaeghe, Christophe Lecoutre, Yves Deville, Pierre Schaus:
Extending Compact-Table to Basic Smart Tables. 297-307 - Kenneth D. Young, Thibaut Feydy, Andreas Schutt:
Constraint Programming Applied to the Multi-Skill Project Scheduling Problem. 308-317
Application Track
- 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 - Adrian Goldwaser, Andreas Schutt:
Optimal Torpedo Scheduling. 338-353 - Anders Nicolai Knudsen, Marco Chiarandini, Kim S. Larsen:
Constraint Handling in Flight Planning. 354-369 - Tong Liu, Roberto Di Cosmo, Maurizio Gabbrielli, Jacopo Mauro:
NightSplitter: A Scheduling Tool to Optimize (Sub)group Activities. 370-386 - Morten Mossige, Arnaud Gotlieb, Helge Spieker, Hein Meling, Mats Carlsson:
Time-Aware Test Case Execution Scheduling for Cyber-Physical Systems. 387-404 - 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 - Tommaso Urli, Philip Kilby:
Constraint-Based Fleet Design Optimisation for Multi-compartment Split-Delivery Rich Vehicle Routing. 414-430 - Willem-Jan van Hoeve, Sridhar R. Tayur:
Integer and Constraint Programming for Batch Annealing Process Planning. 431-439
Machine Learning and CP Track
- Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki:
Minimum-Width Confidence Bands via Constraint Optimization. 443-459 - Maxime Chabert, Christine Solnon:
Constraint Programming for Multi-criteria Conceptual Clustering. 460-476 - Mohadeseh Ganji, James Bailey, Peter J. Stuckey:
A Declarative Approach to Constrained Community Detection. 477-494 - 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 - Émilie Picard-Cantin, Mathieu Bouchard, Claude-Guy Quimper, Jason Sweeney:
Learning the Parameters of Global Constraints Using Branch-and-Bound. 512-528 - Pierre Schaus, John O. R. Aoga, Tias Guns:
CoverSize: A Global Constraint for Frequency-Based Itemset Mining. 529-546
Operations Research and CP Track
- Mohd. Hafiz Hasan, Pascal Van Hentenryck:
A Column-Generation Algorithm for Evacuation Planning with Elementary Paths. 549-564 - John N. Hooker:
Job Sequencing Bounds from Decision Diagrams. 565-578 - Edward Lam, Pascal Van Hentenryck:
Branch-and-Check with Explanations for the Vehicle Routing Problem with Time Windows. 579-595 - Takehide Soh, Mutsunori Banbara, Naoyuki Tamura, Daniel Le Berre:
Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation. 596-614 - K. Subramani, Piotr Wojciechowski:
Analyzing Lattice Point Feasibility in UTVPI Constraints. 615-629 - 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
- Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko:
Reduced Cost Fixing in MaxSAT. 641-651 - Jeremias Berg, Matti Järvisalo:
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. 652-670 - Neng-Fa Zhou, Håkan Kjellerstrand:
Optimizing SAT Encodings for Arithmetic Constraints. 671-686
Test and Verification and CP Track
- Aws Albarghouthi, Paraschos Koutris, Mayur Naik, Calvin Smith:
Constraint-Based Synthesis of Datalog Programs. 689-706 - Heytem Zitoun, Claude Michel, Michel Rueher, Laurent Michel:
Search Strategies for Floating Point Constraint Systems. 707-722
a service of 
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.
last updated on 2024-05-05 01:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
