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.)

Free Preview

Buy this book

eBook $109.00
price for USA in USD (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 $139.99
price for USA in USD
  • ISBN 978-3-319-44952-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

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

  • Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

    Arafailova, Ekaterina (et al.)

    Pages 13-29

  • An Adaptive Parallel SAT Solver

    Audemard, Gilles (et al.)

    Pages 30-48

  • Improved Linearization of Constraint Programming Models

    Belov, Gleb (et al.)

    Pages 49-65

  • Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving

    Berg, Jeremias (et al.)

    Pages 66-85

Buy this book

eBook $109.00
price for USA in USD (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 $139.99
price for USA in USD
  • ISBN 978-3-319-44952-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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
186 b/w illustrations
Topics