Constraint Programming

Held at Ruby User Group Berlin

See a video recording here: https://youtu.be/TxMXCkOQc7o

Code and references can be found here: https://github.com/Overbryd/constraint_programming_talk

Transcript

1. Constraint Programming
2. 1 year ago
3. determine the available
4. determine the available arrival times
5. determine the available days arrival times
6. determine the available days arrival times tables
7. satisfying
8. satisfying available tables
9. satisfying existing reservations available tables
10. satisfying existing reservations opening times available tables
11. satisfying the size of the group existing reservations opening times available tables tests
12. satisfying the size of the group existing reservations opening times available tables business rule #1 tests
13. satisfying the size of the group existing reservations opening times available tables business rule #1 business rule #2 release dates tests
14. satisfying the size of the group existing reservations opening times available tables business rule #1 business rule #2 business rule #3 release dates tests
15. satisfying the size of the group existing reservations opening times available tables business rule #1 business rule #2 business rule #3 release dates tests which ones?
16. satisfying the size of the group existing reservations opening times available tables business rule #137812 business rule #1 business rule #2 business rule #3 release dates tests which ones?
19. Late night problem googling
20. ‘Managing Restaurant Tables Using Constraint Programming’
21. ‘Managing Restaurant Tables Using Constraint Programming’
22. Thank you, Alfio Vidotto
23. Thank you, Alfio Vidotto
24. Lets define by example
26. /kənˈstreɪnt/ A constraint is a logical relation
 among several variables,
 each taking a value in a given domain.
27. several variables
28. domain
29. logical relation
30. Easier done than said.
32. Simple Backtracking in Ruby
33. meet call/cc
34. Simple Backtracking in Ruby
35. Thank you, Jim Weirich
36. Thank you, Jim Weirich
38. First research on constraint satisfaction problems dates back to the 70s
39. Montanary 1974 Waltz 1975
40. Systematic use of constraints described in ‘Constraint logic programming’ Jaffar, Lassez 1987*
41. 30 years
42. areas of research search generate and test back tracking back jumping back marking consistency node consistency arc consistency path consistency constraint propagation forward checking look ahead reducing search constraint optimisation constraint satisfaction landscape
43. use constraint programming
44. use constraint programming
45. use constraint programming for scheduling, planning
46. use constraint programming
47. use constraint programming
48. use constraint programming for resource allocation*
49. use constraint programming
50. Main advantages
51. Model programs closely to their real world entities.
52. Vast open research in optimising difficult problem areas.
53. Clever modelling can get you around NP-hard problems. *satisfaction not guaranteed
54. Interested in more?
55. Upcoming events • ACP Summer Schools
 http://www.a4cp.org/events/summer-schools • CP Conference Series
 http://www.a4cp.org/events/cp-conference-series
 
 August 28th to September 1st 2017, Melbourne, Australia
56. Thank you, beloved audience
57. L.rieder@gmail.com
58. References • http://tidel.mie.utoronto.ca/pubs/Theses/vidotto.phd.pdf • http://rubyquiz.com/quiz70.html • http://www.math.unipd.it/~frossi/cp-school/CPschool05notes.pdf • http://kti.mff.cuni.cz/~bartak/constraints/index.html • http://www.hakank.org/constraint_programming_blog/ • http://www.a4cp.org