Interactive Design of Sustainable Cities with a Distributed Local Search Solver (English)
- New search for: Belin, Bruno
- New search for: Christie, Marc
- New search for: Truchet, Charlotte
- New search for: Simonis, Helmut
- New search for: Belin, Bruno
- New search for: Christie, Marc
- New search for: Truchet, Charlotte
In:
Integration of AI and OR Techniques in Constraint Programming
: 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
;
Chapter: 8
;
104-119
;
2014
- Article/Chapter (Book) / Electronic Resource
-
Title:Interactive Design of Sustainable Cities with a Distributed Local Search Solver
-
Contributors:Simonis, Helmut ( editor ) / Belin, Bruno ( author ) / Christie, Marc ( author ) / Truchet, Charlotte ( author )
-
Conference:International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research ; 2014 ; Cork, Ireland
-
Published in:Integration of AI and OR Techniques in Constraint Programming : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings ; Chapter: 8 ; 104-119Lecture Notes in Computer Science ; 8451 ; 104-119
-
Publisher:
- New search for: Springer International Publishing
-
Place of publication:Cham
-
Publication date:2014-01-01
-
Size:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Call-Based Dynamic Programming for the Precedence Constrained Line Traveling SalesmanBenoist, Thierry / Jeanjean, Antoine / Jost, Vincent et al. | 2014
- 2
-
Stable Roommates and Constraint ProgrammingProsser, Patrick et al. | 2014
- 3
-
Detecting and Exploiting Permutation Structures in MIPsSalvagnin, Domenico et al. | 2014
- 4
-
Solving the Quorumcast Routing Problem as a Mixed Integer ProgramBui, Quoc Trung / Pham, Quang Dung / Deville, Yves et al. | 2014
- 5
-
A New MIP Model for Parallel-Batch Scheduling with Non-identical Job SizesKosch, Sebastian / Beck, J. Christopher et al. | 2014
- 6
-
Mining (Soft-) Skypatterns Using Dynamic CSPUgarte Rojas, Willy / Boizumault, Patrice / Loudni, Samir / Crémilleux, Bruno / Lepailleur, Alban et al. | 2014
- 7
-
Modelling with Option Types in MiniZincMears, Christopher / Schutt, Andreas / Stuckey, Peter J. / Tack, Guido / Marriott, Kim / Wallace, Mark et al. | 2014
- 8
-
Interactive Design of Sustainable Cities with a Distributed Local Search SolverBelin, Bruno / Christie, Marc / Truchet, Charlotte et al. | 2014
- 9
-
Sliced Table Constraints: Combining Compression and Tabular ReductionGharbi, Nebras / Hemery, Fred / Lecoutre, Christophe / Roussel, Olivier et al. | 2014
- 10
-
The PrePack Optimization ProblemHoskins, Maxim / Masson, Renaud / Gauthier Melançon, Gabrielle / Mendoza, Jorge E. / Meyer, Christophe / Rousseau, Louis-Martin et al. | 2014
- 11
-
An Integrated Constraint Programming Approach to Scheduling Sports Leagues with Divisional and Round-Robin TournamentsLarson, Jeffrey / Johansson, Mikael / Carlsson, Mats et al. | 2014
- 12
-
Local Search for a Cargo Assembly Planning ProblemBelov, Gleb / Boland, Natashia / Savelsbergh, Martin W. P. / Stuckey, Peter J. et al. | 2014
- 13
-
A Logic Based Benders’ Approach to the Concrete Delivery ProblemKinable, Joris / Trick, Michael et al. | 2014
- 14
-
Evaluating CP Techniques to Plan Dynamic Resource Provisioning in Distributed Stream ProcessingReale, Andrea / Bellavista, Paolo / Corradi, Antonio / Milano, Michela et al. | 2014
- 15
-
Disregarding Duration Uncertainty in Partial Order Schedules? Yes, We Can!Bonfietti, Alessio / Lombardi, Michele / Milano, Michela et al. | 2014
- 16
-
An Exact Branch and Bound Algorithm with Symmetry Breaking for the Maximum Balanced Induced Biclique ProblemMcCreesh, Ciaran / Prosser, Patrick et al. | 2014
- 17
-
Domain k-Wise Consistency Made as Simple as Generalized Arc ConsistencyMairy, Jean-Baptiste / Deville, Yves / Lecoutre, Christophe et al. | 2014
- 18
-
Representative Encodings to Translate Finite CSPs into SATBarahona, Pedro / Hölldobler, Steffen / Nguyen, Van-Hau et al. | 2014
- 19
-
SAT and Hybrid Models of the Car Sequencing ProblemArtigues, Christian / Hebrard, Emmanuel / Mayer-Eichberger, Valentin / Siala, Mohamed / Walsh, Toby et al. | 2014
- 20
-
Continuously Degrading Resource and Interval Dependent Activity Durations in Nuclear Medicine Patient SchedulingDejemeppe, Cyrille / Deville, Yves et al. | 2014
- 21
-
Cost Impact Guided LNSLombardi, Michele / Schaus, Pierre et al. | 2014
- 22
-
Proteus: A Hierarchical Portfolio of Solvers and TransformationsHurley, Barry / Kotthoff, Lars / Malitsky, Yuri / O’Sullivan, Barry et al. | 2014
- 23
-
Buffered Resource Constraint: Algorithms and ComplexityBessiere, Christian / Hebrard, Emmanuel / Ménard, Marc-André / Quimper, Claude-Guy / Walsh, Toby et al. | 2014
- 24
-
Combining Discrete Ellipsoid-Based Search and Branch-and-Cut for Binary Quadratic Programming ProblemsKu, Wen-Yang / Beck, J. Christopher et al. | 2014
- 25
-
Parallel Combinatorial Optimization with Decision DiagramsBergman, David / Cire, Andre A. / Sabharwal, Ashish / Samulowitz, Horst / Saraswat, Vijay / van Hoeve, Willem-Jan et al. | 2014
- 26
-
A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability ProblemsMalitsky, Yuri / O’Sullivan, Barry / Previti, Alessandro / Marques-Silva, Joao et al. | 2014
- 27
-
Parallel Depth-Bounded Discrepancy SearchMoisan, Thierry / Quimper, Claude-Guy / Gaudreault, Jonathan et al. | 2014
- 28
-
Self-splitting of Workload in Parallel ComputationFischetti, Matteo / Monaci, Michele / Salvagnin, Domenico et al. | 2014
- 29
-
The Markov Transition ConstraintMorin, Michael / Quimper, Claude-Guy et al. | 2014
- 30
-
New Lower Bounds on the Number of Vehicles for the Vehicle Routing Problem with Time WindowsAfifi, Sohaib / Guibadj, Rym Nesrine / Moukrim, Aziz et al. | 2014
- 31
-
Constrained Clustering Using Column GenerationBabaki, Behrouz / Guns, Tias / Nijssen, Siegfried et al. | 2014
- 32
-
A Constraint Programming-Based Column Generation Approach for Operating Room Planning and SchedulingHashemi Doulabi, Seyed Hossein / Rousseau, Louis-Martin / Pesant, Gilles et al. | 2014
- 33
-
Dynamic Controllability and Dispatchability RelationshipsMorris, Paul et al. | 2014