chapter b lessons learned

Chapter B: Lessons Learned Helmut Simonis Cork Constraint - PowerPoint PPT Presentation

Sep 05, 2022 •689 likes •1.56k views

Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Chapter B: Lessons Learned Helmut Simonis Cork Constraint Computation Centre Computer Science Department University

  1. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Chapter B: Lessons Learned Helmut Simonis Cork Constraint Computation Centre Computer Science Department University College Cork Ireland ECLiPSe ELearning Overview Helmut Simonis Lessons Learned 1

  2. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Licence This work is licensed under the Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported License. To view a copy of this license, visit http: //creativecommons.org/licenses/by-nc-sa/3.0/ or send a letter to Creative Commons, 171 Second Street, Suite 300, San Francisco, California, 94105, USA. Helmut Simonis Lessons Learned 2

  3. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Outline Overview of Course 1 What do you need to know about CP? 2 What is CP good for? 3 A Core Set of Global Constraints 4 5 Visualization Helmut Simonis Lessons Learned 3

  4. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Main Message New ELearning course for ECLiPSe Modelling and programming with constraints Based on sample problems solved and explained in detail A view on core constraint programming skills Strong dependence on visualization to explain behavior Helmut Simonis Lessons Learned 4

  5. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Interesting Things to Come Which global constraints a system should contain How to interpret search trees The open challenge of debugging global constraints Helmut Simonis Lessons Learned 5

  6. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Outline Overview of Course 1 What do you need to know about CP? 2 What is CP good for? 3 A Core Set of Global Constraints 4 5 Visualization Helmut Simonis Lessons Learned 6

  7. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Background Gift grant from Cisco Systems/Silicon Valley Community Foundation Cisco owns open-sourced ECLiPSe system How to expand user-base? Self-taught course in constraint programming Intended for Cisco engineers/programmers Open source/available to community Helmut Simonis Lessons Learned 7

  8. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Format Video lectures Slides Handout Exercises Helmut Simonis Lessons Learned 8

  9. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Examples Website http://4c.ucc.ie/~hsimonis/ELearning/index.htm Slides ../introduction/slides.pdf Handout ../introduction/handout.pdf Video ../wavedemo/DEMO/web/web.html Helmut Simonis Lessons Learned 9

  10. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Outline Overview of Course 1 What do you need to know about CP? 2 What is CP good for? 3 A Core Set of Global Constraints 4 5 Visualization Helmut Simonis Lessons Learned 10

  11. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Central Topics Basic structure of constraint programs Global constraints User-defined search Optimization Symmetry breaking Choosing the right model Limits of propagation Helmut Simonis Lessons Learned 11

  12. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Explaining Concepts Explain as you go Constraints introduced when used by application Concepts/algorithms explained by example Helmut Simonis Lessons Learned 12

  13. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Example: Domain consistent alldifferent :-lib(ic). :-lib(ic_global_gac). top:- [X,Y] :: 1..2, Z :: 2..5, [T,U] :: 3..5, V :: [2,4,6,7], ic_global_gac:alldifferent([X,Y,Z,T,U,V]). Helmut Simonis Lessons Learned 13

  14. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Problem shown as bipartite graph X 1 Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 14

  15. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Find maximal matching (in blue) X 1 Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 15

  16. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Orient graph (edges in matching from X 1 variables to values, all others from values to variables), mark edges in Y 2 matching Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 16

  17. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Find strongly connected components X 1 (green and brown), mark their edges Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 17

  18. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Find unmatched value nodes (here X 1 node 7, magenta) Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 18

  19. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Find alternating paths from such X 1 nodes (in magenta), mark their edges Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 19

  20. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent All unmarked edges can be removed X 1 Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 20

  21. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Making constraint domain consistent Resulting graph, constraint is domain X 1 consistent Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 21

  22. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization Extended Example :-lib(ic). :-lib(ic_global_gac). top:- X :: 1..2, Y :: [1,2,7], Z :: 2..5, [T,U] :: 3..5, V :: [2,4,6,7], ic_global_gac:alldifferent([X,Y,Z,T,U,V]). Helmut Simonis Lessons Learned 22

  23. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Problem shown as bipartite graph X 1 Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 23

  24. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Find maximal matching (in blue) X 1 Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 24

  25. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Orient graph (edges in matching from X 1 variables to values, all others from values to variables), mark edges in Y 2 matching Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 25

  26. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Find strongly connected components X 1 (green and brown), mark their edges Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 26

  27. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Find unmatched value nodes (here X 1 node 7, magenta) Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 27

  28. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Find alternating paths from such X 1 nodes (in magenta), mark their edges Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 28

  29. Overview of Course What do you need to know about CP? What is CP good for? A Core Set of Global Constraints Visualization No propagation in expanded example Continue with alternating paths X 1 Y 2 Z 3 T 4 U 5 V 6 7 Helmut Simonis Lessons Learned 29

Recommend

Lessons Learned Lessons Learned From From Lessons Learned Lessons Learned From From

Lessons Learned Lessons Learned From From Lessons Learned Lessons Learned From From

Protg 2006, July 26th, Stanford I R I S A C 1 R E C Saint-Cyr Lessons Learned Lessons Learned From From Lessons Learned Lessons Learned From From Ontology Ontology Design Design Ontology Ontology Design Design Jean Andr B

373 views • 12 slides
Lessons Learned From Sequenced, Integrated Strategies of Economic After Hours Seminar

Lessons Learned From Sequenced, Integrated Strategies of Economic After Hours Seminar

Lessons Learned From Sequenced, Integrated Strategies of Economic Strengthening of the Lessons Learned From Sequenced, Integrated Strategies of Economic Strengthening of the Poorest Poorest March 21, 2012 Lessons Learned From Sequenced,

769 views • 46 slides
Some lessons learned from Team Science Some lessons learned from Team Science Lewis Cantley Weill

Some lessons learned from Team Science Some lessons learned from Team Science Lewis Cantley Weill

Some lessons learned from Team Science Some lessons learned from Team Science Lewis Cantley Weill Cornell Medical College, New York Presbyterian Hospital Past participation in Team Science Period Period Type of grant Type of grant Role in Grant

380 views • 20 slides
Opportunities Opportunities Lessons Learned Using Lessons Learned Using Vegetative

Opportunities Opportunities Lessons Learned Using Lessons Learned Using Vegetative

Opportunities Opportunities Lessons Learned Using Lessons Learned Using Vegetative Environmental Using Trees for Vegetative Environmental Using Trees for Buffers for Poultry Farms Buffers for Poultry Farms Vegetative Vegetative

360 views • 14 slides
OSHA Lessons Learned Adam Fries OSHA Compliance Officer February 13, 2018 OSHA Lessons Learned

OSHA Lessons Learned Adam Fries OSHA Compliance Officer February 13, 2018 OSHA Lessons Learned

OSHA Lessons Learned Adam Fries OSHA Compliance Officer February 13, 2018 OSHA Lessons Learned Jobsite Safety and Health Inspections/Audits better known as; PAPER WORK You hate it, Your safety director requires it, OSHA loves it, Does it

926 views • 35 slides
Lessons Learned from A Three-Week Lessons Learned from A Three-Week Long User Study w ith

Lessons Learned from A Three-Week Lessons Learned from A Three-Week Long User Study w ith

Lessons Learned from A Three-Week Lessons Learned from A Three-Week Long User Study w ith post-SCI Long User Study w ith post-SCI Patients using UCF-MANUS ARM Patients using UCF-MANUS ARM Dae-Jin Kim, PhD dkim@mail.ucf.edu PI: Aman Behal,

351 views • 22 slides
OVERVI EW OF MTN 015 AND OVERVI EW OF MTN 015 AND LESSONS LEARNED LESSONS LEARNED Peter Mutale

OVERVI EW OF MTN 015 AND OVERVI EW OF MTN 015 AND LESSONS LEARNED LESSONS LEARNED Peter Mutale

OVERVI EW OF MTN 015 AND OVERVI EW OF MTN 015 AND LESSONS LEARNED LESSONS LEARNED Peter Mutale Mutale Peter MTN Study Laboratory Supervisor MTN Study Laboratory Supervisor October 2009 October 2009 A pioneer non-governmental

325 views • 31 slides
Lessons Learned from Evaluating the Robustness of Defenses to Adversarial Examples Nicholas

Lessons Learned from Evaluating the Robustness of Defenses to Adversarial Examples Nicholas

Lessons Learned from Evaluating the Robustness of Defenses to Adversarial Examples Nicholas Carlini Google Research Lessons Learned from Evaluating the Robustness of Defenses to Adversarial Examples Lessons Learned from Evaluating the

1.28k views • 127 slides
Institutionalizing Lessons Learned October 25, 2006 Loren Plisco Region II Background

Institutionalizing Lessons Learned October 25, 2006 Loren Plisco Region II Background

Institutionalizing Lessons Learned October 25, 2006 Loren Plisco Region II Background SEP 2002 Davis-Besse Lessons Learned Task Force AUG 2004 - Effectiveness Review Lessons Learned Task Force JAN 2005 - EDO Charters

269 views • 22 slides
DEBUGGING LESSONS LEARNED WHILE DEBUGGING LESSONS LEARNED WHILE FIXING NETBSD FIXING NETBSD

DEBUGGING LESSONS LEARNED WHILE DEBUGGING LESSONS LEARNED WHILE FIXING NETBSD FIXING NETBSD

DEBUGGING LESSONS LEARNED WHILE DEBUGGING LESSONS LEARNED WHILE FIXING NETBSD FIXING NETBSD ABOUT ME ABOUT ME maya@NetBSD.org coypu@sdf.org NetBSD/pkgsrc for the last 3 years THIS TALK THIS TALK Mix of a bunch of bugs Not solo work

695 views • 31 slides
3/8/2019 Epidemiology, Risk Factors, and Outcomes of Pediatric PVD: LESSONS learned from the

3/8/2019 Epidemiology, Risk Factors, and Outcomes of Pediatric PVD: LESSONS learned from the

3/8/2019 Epidemiology, Risk Factors, and Outcomes of Pediatric PVD: LESSONS learned from the Spanish Registry: Lessons Learned from the Registries o Is It possible (and worthy) to do a national registry? Lessons learned from the o

1.16k views • 43 slides
Ten lessons learned about Ten lessons learned about Ubiquitous Computing Ubiquitous Computing

Ten lessons learned about Ten lessons learned about Ubiquitous Computing Ubiquitous Computing

Ten lessons learned about Ten lessons learned about Ubiquitous Computing Ubiquitous Computing Roy Want Roy Want Intel Research Intel Research Dagstuhl, September 2001 Dagstuhl, September 2001 Ubiquitous Computing Ubiquitous Computing

497 views • 31 slides
Lessons Learned A Value Added Product of the Project Life Cycle R Gilman April 19, 2006 Agenda

Lessons Learned A Value Added Product of the Project Life Cycle R Gilman April 19, 2006 Agenda

Lessons Learned A Value Added Product of the Project Life Cycle R Gilman April 19, 2006 Agenda Introduction What are Lessons Learned? Value to the Project Process and Organization Keanes Approach to Lessons Learned Keys to

261 views • 24 slides
Applying TSP for Applying TSP for Services: Services: Seven Key Lessons Seven Key Lessons

Applying TSP for Applying TSP for Services: Services: Seven Key Lessons Seven Key Lessons

Applying TSP for Applying TSP for Services: Services: Seven Key Lessons Seven Key Lessons Seven Key Lessons Seven Key Lessons Learned Learned Oscar Mondragn Oscar Mondragn Alan Willett Alan Willett TSP Symposium TSP Symposium

747 views • 21 slides
May 2018 ALL THINGS ADAPTED LESSONS What are adapted lessons? therapeutic music lessons

May 2018 ALL THINGS ADAPTED LESSONS What are adapted lessons? therapeutic music lessons

May 2018 ALL THINGS ADAPTED LESSONS What are adapted lessons? therapeutic music lessons adapted lessons music therapy with a focus on an instrument music lessons for kids with special needs the same as music therapy?

550 views • 16 slides
WORK MAKING PCB Thematic discussion: PCB Thematic discussion: PCB Thematic discussion: Lessons

WORK MAKING PCB Thematic discussion: PCB Thematic discussion: PCB Thematic discussion: Lessons

WORK MAKING PCB Thematic discussion: PCB Thematic discussion: PCB Thematic discussion: Lessons Learned from the Lessons Learned from the Lessons Learned from the Global Implementation Support Team (GIST) Global Implementation Support Team

77 views • 5 slides
Using noncommutative polynomial optimization for matrix factorization ranks Sander Gribling

Using noncommutative polynomial optimization for matrix factorization ranks Sander Gribling

Using noncommutative polynomial optimization for matrix factorization ranks Sander Gribling (CWI/QuSoft) David de Laat (CWI/QuSoft) Monique Laurent (CWI/Tilburg/QuSoft) SIAM Conference on Optimization, 25 May 2017, Vancouver Symmetric matrix

1.08k views • 93 slides
An Emergent Solution to the Strong CP Problem (with Dark Matter!) Tim M.P . Tait University

An Emergent Solution to the Strong CP Problem (with Dark Matter!) Tim M.P . Tait University

An Emergent Solution to the Strong CP Problem (with Dark Matter!) Tim M.P . Tait University of California, Irvine Villa Gioello In collaboration with: August 28, 2019 Jason Arakawa & Arvind Rajaraman arXiv:1905.08820 Could Dark

333 views • 12 slides
Motivations Numerous CP modeling languages and platforms have been developed (OPL, SICStus

Motivations Numerous CP modeling languages and platforms have been developed (OPL, SICStus

On T esting C onstraint P rograms Nadjib LAZAAR* , Arnaud GOTLIEB*, Yahia LEBBAH** *INRIA Rennes Bretagne Atlantique ** Universit d'Oran Es-Senia CP2010 St -Andrews, Scotland 08 september 1 /21 Motivations Numerous CP modeling

1.09k views • 75 slides
A CP violatjon measurement of B s mesons at ATLAS and the LHC Adam Barton ATLAS Collaboration

A CP violatjon measurement of B s mesons at ATLAS and the LHC Adam Barton ATLAS Collaboration

A CP violatjon measurement of B s mesons at ATLAS and the LHC Adam Barton ATLAS Collaboration The LHC The large hadron collider is the world's largest and highest energy synchrotron collider in the world. It is built and run by CERN (the

564 views • 38 slides
Uniqueness of Tensor Decomposition February 2-4, 2015 Villard de Lans, Grenoble Winter School

Uniqueness of Tensor Decomposition February 2-4, 2015 Villard de Lans, Grenoble Winter School

Uniqueness of Tensor Decomposition February 2-4, 2015 Villard de Lans, Grenoble Winter School Search for Latent Variables: ICA, Tensors, and NMF Giorgio Ottaviani Universit` a di Firenze Giorgio Ottaviani Uniqueness of Tensor Decomposition

839 views • 51 slides
query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de

query answering with description logic ontologies Meghyn Bienvenu ( CNRS & Universit de Montpellier ) Magdalena Ortiz ( Vienna University of Technology ) conjunctive queries y P 1 t 1 P n t n where every variable in some t i appears in

974 views • 74 slides
Database Theory: Conjunctive Queries & Static Analysis CS 645 Feb 20, 2006 1 Life of a

Database Theory: Conjunctive Queries & Static Analysis CS 645 Feb 20, 2006 1 Life of a

Database Theory: Conjunctive Queries & Static Analysis CS 645 Feb 20, 2006 1 Life of a database theoretician Expressiveness of query languages Any query in L1 can be expressed in L2 Query q cannot be expressed in L

1.21k views • 52 slides
The Tractability Frontier of Well-designed SPARQL Queries Miguel Romero (University of Oxford)

The Tractability Frontier of Well-designed SPARQL Queries Miguel Romero (University of Oxford)

The Tractability Frontier of Well-designed SPARQL Queries Miguel Romero (University of Oxford) ACM PODS 2018, 12 June, Houston-USA Well-designed SPARQL SPARQL : standard query language for RDF graphs Well-designed SPARQL (Perez, Arenas, Gutierrez

296 views • 29 slides

More recommend