Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings > Integration of Structural Constraints into TSP Models
Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings |
Thomas Schiex; Simon de Givry
Springer International Publishing
Principles and Practice of Constraint Programming: 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings
Integration of Structural Constraints into TSP Models
Authors

Nicolas Isoart; Jean-Charles Régin

ARI Id

1665214462250_5396165

Access

Not Available Free

Pages

284-299

DOI

10.1007/978-3-030-30048-7_17

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-30048-7_17

Table of Contents of Book
Showing 1 to 20 of 54 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xxvi
Front Matter
1-1
Instance Generation via Generator Instances
Özgür Akgün; Nguyen Dang; Ian Miguel; András Z. Salamon; Christopher Stone
3-19
Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
Carlos Ansótegui; Miquel Bofill; Jordi Coll; Nguyen Dang; Juan Luis Esteban; Ian Miguel et al.
20-36
Exploring Declarative Local-Search Neighbourhoods with Constraint Programming
Gustav Björdal; Pierre Flener; Justin Pearson; Peter J. Stuckey
37-53
Vehicle Routing by Learning from Historical Solutions
Rocsildes Canoy; Tias Guns
54-70
On Symbolic Approaches for Computing the Matrix Permanent
Supratik Chakraborty; Aditya A. Shrotri; Moshe Y. Vardi
71-90
Towards the Characterization of Max-Resolution Transformations of UCSs by UP-Resilience
Mohamed Sami Cherif; Djamal Habet
91-107
Logic-Based Benders Decomposition for Super Solutions: An Application to the Kidney Exchange Problem
Danuta Sorina Chisca; Michele Lombardi; Michela Milano; Barry O’Sullivan
108-125
Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics
Md Solimul Chowdhury; Martin Müller; Jia-Huai You
126-143
Industrial Size Job Shop Scheduling Tackled by Present Day CP Solvers
Giacomo Da Col; Erich C. Teppan
144-160
Dual Hashing-Based Algorithms for Discrete Integration
Alexis de Colnet; Kuldeep S. Meel
161-176
Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search
Emir Demirović; Peter J. Stuckey
177-194
A Join-Based Hybrid Parameter for Constraint Satisfaction
Robert Ganian; Sebastian Ordyniak; Stefan Szeider
195-212
An Incremental SAT-Based Approach to the Graph Colouring Problem
Gael Glorian; Jean-Marie Lagniez; Valentin Montmirail; Nicolas Szczepanski
213-231
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving
Andreia P. Guerreiro; Miguel Terra-Neves; Inês Lynce; José Rui Figueira; Vasco Manquinho
232-250
Trimming Graphs Using Clausal Proof Optimization
Marijn J. H. Heule
251-267
Improved Job Sequencing Bounds from Decision Diagrams
John N. Hooker
268-283
Integration of Structural Constraints into TSP Models
Nicolas Isoart; Jean-Charles Régin
284-299
Representing Fitness Landscapes by Valued Constraints to Understand the Complexity of Local Search
Artem Kaznatcheev; David A. Cohen; Peter G. Jeavons
300-316
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 54 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings