Programming and Software Engineering

Principles and Practice of Constraint Programming

22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

Editors: Rueher, Michel (Ed.)

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-319-44953-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-319-44952-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

This book constitutes the refereed conference proceedings of the 22nd International Conference on Principles and Practice of Constraint Programming, CP 2016, held in Toulouse, France, in September 2016.

The 63 revised regular papers presented together with 4 short papers and the abstracts of 4 invited talks were carefully reviewed and selected from 157 submissions. The scope of CP 2016 includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource allocation, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; computational sustainability track; CP and biology track; music track; preference, social choice, and optimization track; testing and verification track; and journal-first and sister conferences track.

Table of contents (45 chapters)

  • Exploiting Short Supports for Improved Encoding of Arbitrary Constraints into SAT

    Akgün, Özgür (et al.)

    Pages 3-12

    Preview Buy Chapter 30,19 €
  • Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

    Arafailova, Ekaterina (et al.)

    Pages 13-29

    Preview Buy Chapter 30,19 €
  • An Adaptive Parallel SAT Solver

    Audemard, Gilles (et al.)

    Pages 30-48

    Preview Buy Chapter 30,19 €
  • Improved Linearization of Constraint Programming Models

    Belov, Gleb (et al.)

    Pages 49-65

    Preview Buy Chapter 30,19 €
  • Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

    Berg, Jeremias (et al.)

    Pages 66-85

    Preview Buy Chapter 30,19 €

Buy this book

eBook 91,62 €
price for Spain (gross)
  • ISBN 978-3-319-44953-1
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 114,39 €
price for Spain (gross)
  • ISBN 978-3-319-44952-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Principles and Practice of Constraint Programming
Book Subtitle
22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings
Editors
  • Michel Rueher
Series Title
Programming and Software Engineering
Series Volume
9892
Copyright
2016
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-44953-1
DOI
10.1007/978-3-319-44953-1
Softcover ISBN
978-3-319-44952-4
Edition Number
1
Number of Pages
XXVIII, 899
Number of Illustrations and Tables
186 b/w illustrations
Topics