motivations
play

Motivations Numerous CP modeling languages and platforms have been - PowerPoint PPT Presentation

Dec 02, 2023 •326 likes •1.09k views

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. On T esting C onstraint P rograms Nadjib LAZAAR* , Arnaud GOTLIEB*, Yahia LEBBAH** *INRIA Rennes Bretagne Atlantique ** Université d'Oran Es-Senia CP’2010 St -Andrews, Scotland 08 september 1 /21

  2. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling… 2 /21

  3. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling…  CP programs begin to be used in business-critical systems (e.g., combinatorial auctions) 2 /21

  4. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling…  CP programs begin to be used in business-critical systems (e.g., combinatorial auctions)  Refinement in CP 2 /21

  5. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling…  CP programs begin to be used in business-critical systems (e.g., combinatorial auctions)  Refinement in CP SPEC 2 /21

  6. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling…  CP programs begin to be used in business-critical systems (e.g., combinatorial auctions)  Refinement in CP SPEC 2 /21

  7. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling…  CP programs begin to be used in business-critical systems (e.g., combinatorial auctions)  Refinement in CP SPEC 2 /21

  8. Motivations  Numerous CP modeling languages and platforms have been developed (OPL, SICStus Prolog, ZINC, GECODE, CHOCO…) for solving combinatorial problems that arise in optimization, planning, scheduling…  CP programs begin to be used in business-critical systems (e.g., combinatorial auctions)  Refinement in CP SPEC 2 /21

  9. Golomb Rulers 3 /21

  10. Golomb Rulers 3 /21

  11. Golomb Rulers in O ptimization P rogramming L anguage M using CP; int m=...; dvar int x[1..m] in 0..m*m; minimize x[m]; subject to { (1) forall (i in 1..m-1) x[i] < x[i+1]; (2) forall (i in 1..m, j in 1..m, k in 1..m, l in 1..m: (i < j, k < l)) x[j] - x[i] != x[l] - x[k]; } 4 /21

  12. Golomb Rulers in O ptimization P rogramming L anguage M P using CP; using CP; int m=...; int m=...; tuple indexerTuple {int i; dvar int x[1..m] in 0..m*m; int j;} {indexerTuple} indexes1 = {<i, j> | ordered i,j in 1..m}; minimize x[m]; {indexerTuple} indexes2 = {<i, j> | ordered i,j in 1..m div 2}; subject to { dvar int x[1..m] in 0..m*m; (1) forall (i in 1..m-1) dvar int d[indexes1]; x[i] < x[i+1]; (2) forall (i in 1..m, j in 1..m, minimize x[m]; k in 1..m, l in 1..m: (i < j, k < l)) subject to { x[j] - x[i] != x[l] - x[k]; (1) x[1]==0; } (2) forall (i in (1)..m-1) x[i] < x[i+1]; (3) forall(ind in indexes1) d[ind] == x[ind.i]-x[ind.j]; (4) x[m] >= (m * (m - 1)) / 2; (5) x[2] <= x[m]-x[m-1]; (6) forall(ind1,ind2,ind3:(ind1.i==ind2.i)&&(ind2.j==ind3.i)&& (ind1.j==ind3.j)&&( ind1.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]; (7) forall(ind1,ind2,ind3,ind4 in indexes2 : (ind1.i==ind2.i)&&(ind1.j==ind3.j)&&(ind2.j==ind4.j) &&(ind3.i==ind4.i)&&(ind1.i<m-1)&&(3<ind1.j<m+1) &&(2<ind2.j<m)&&(1<ind3.i<m-1)&& (ind1.i < ind3.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]-d[ind4]; (8) forall(ind in indexes2, k in 1..m div 2) x[ind.i+1]==x[ind.i]+k => x[ind.j+1] != x[ind.j]+k; } 4 /21

  13. Golomb Rulers in O ptimization P rogramming L anguage M P using CP; using CP; int m=...; int m=...; tuple indexerTuple {int i; dvar int x[1..m] in 0..m*m; int j;} {indexerTuple} indexes1 = {<i, j> | ordered i,j in 1..m}; minimize x[m]; {indexerTuple} indexes2 = {<i, j> | ordered i,j in 1..m div 2}; subject to { dvar int x[1..m] in 0..m*m; (1) forall (i in 1..m-1) dvar int d[indexes1]; x[i] < x[i+1]; (2) forall (i in 1..m, j in 1..m, minimize x[m]; k in 1..m, l in 1..m: (i < j, k < l)) subject to { x[j] - x[i] != x[l] - x[k]; (1) x[1]==0; } (2) forall (i in (1)..m-1) x[i] < x[i+1]; (3) forall(ind in indexes1) d[ind] == x[ind.i]-x[ind.j]; (4) x[m] >= (m * (m - 1)) / 2; (5) x[2] <= x[m]-x[m-1]; Does P conform to M (6) forall(ind1,ind2,ind3:(ind1.i==ind2.i)&&(ind2.j==ind3.i)&& (ind1.j==ind3.j)&&( ind1.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]; (7) forall(ind1,ind2,ind3,ind4 in indexes2 : (ind1.i==ind2.i)&&(ind1.j==ind3.j)&&(ind2.j==ind4.j) &&(ind3.i==ind4.i)&&(ind1.i<m-1)&&(3<ind1.j<m+1) &&(2<ind2.j<m)&&(1<ind3.i<m-1)&& (ind1.i < ind3.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]-d[ind4]; (8) forall(ind in indexes2, k in 1..m div 2) x[ind.i+1]==x[ind.i]+k => x[ind.j+1] != x[ind.j]+k; } 4 /21

  14. Golomb Rulers in O ptimization P rogramming L anguage M P using CP; using CP; int m=...; int m=...; tuple indexerTuple {int i; dvar int x[1..m] in 0..m*m; int j;} {indexerTuple} indexes1 = {<i, j> | ordered i,j in 1..m}; minimize x[m]; {indexerTuple} indexes2 = {<i, j> | ordered i,j in 1..m div 2}; subject to { dvar int x[1..m] in 0..m*m; (1) forall (i in 1..m-1) dvar int d[indexes1]; x[i] < x[i+1]; (2) forall (i in 1..m, j in 1..m, minimize x[m]; k in 1..m, l in 1..m: (i < j, k < l)) subject to { x[j] - x[i] != x[l] - x[k]; (1) x[1]==0; } (2) forall (i in (1)..m-1) x[i] < x[i+1]; (3) forall(ind in indexes1) d[ind] == x[ind.i]-x[ind.j]; (4) x[m] >= (m * (m - 1)) / 2; (5) x[2] <= x[m]-x[m-1]; Does P conform to M (6) forall(ind1,ind2,ind3:(ind1.i==ind2.i)&&(ind2.j==ind3.i)&& (ind1.j==ind3.j)&&( ind1.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]; m=8 (7) forall(ind1,ind2,ind3,ind4 in indexes2 : (ind1.i==ind2.i)&&(ind1.j==ind3.j)&&(ind2.j==ind4.j) &&(ind3.i==ind4.i)&&(ind1.i<m-1)&&(3<ind1.j<m+1) &&(2<ind2.j<m)&&(1<ind3.i<m-1)&& X= [0 1 3 6 10 26 27 28] (ind1.i < ind3.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]-d[ind4]; (8) forall(ind in indexes2, k in 1..m div 2) x[ind.i+1]==x[ind.i]+k => x[ind.j+1] != x[ind.j]+k; } 4 /21

  15. Golomb Rulers in O ptimization P rogramming L anguage M P using CP; using CP; int m=...; int m=...; tuple indexerTuple {int i; dvar int x[1..m] in 0..m*m; int j;} {indexerTuple} indexes1 = {<i, j> | ordered i,j in 1..m}; minimize x[m]; {indexerTuple} indexes2 = {<i, j> | ordered i,j in 1..m div 2}; subject to { dvar int x[1..m] in 0..m*m; (1) forall (i in 1..m-1) dvar int d[indexes1]; x[i] < x[i+1]; (2) forall (i in 1..m, j in 1..m, minimize x[m]; k in 1..m, l in 1..m: (i < j, k < l)) subject to { x[j] - x[i] != x[l] - x[k]; (1) x[1]==0; } (2) forall (i in (1)..m-1) x[i] < x[i+1]; (3) forall(ind in indexes1) d[ind] == x[ind.i]-x[ind.j]; (4) x[m] >= (m * (m - 1)) / 2; (5) x[2] <= x[m]-x[m-1]; Does P conform to M (6) forall(ind1,ind2,ind3:(ind1.i==ind2.i)&&(ind2.j==ind3.i)&& (ind1.j==ind3.j)&&( ind1.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]; m=8 (7) forall(ind1,ind2,ind3,ind4 in indexes2 : (ind1.i==ind2.i)&&(ind1.j==ind3.j)&&(ind2.j==ind4.j) &&(ind3.i==ind4.i)&&(ind1.i<m-1)&&(3<ind1.j<m+1) &&(2<ind2.j<m)&&(1<ind3.i<m-1)&& X= [0 1 3 6 10 26 27 28] (ind1.i < ind3.i < ind2.j < ind1.j)) d[ind1]==d[ind2]+d[ind3]-d[ind4]; 1 1 (8) forall(ind in indexes2, k in 1..m div 2) x[ind.i+1]==x[ind.i]+k => x[ind.j+1] != x[ind.j]+k; Fault detected in P ! } 4 /21

  16. Contributions • A first framework for testing constraint programs Definitions of testing notions Conformity relations: • Constraint solving problem • Optimization problem • A method and a tool, called CPTEST to detect non- conformities ( e.g., X= [0 1 3 6 10 26 27 28] ) • An experimental validation on two classical benchmarks (Golomb rulers, car sequencing) 5 /21

  17. Notations Model- Oracle M x (k ) 6 /21

  18. Notations Model- CPUT Oracle P z (k) M x (k ) 6 /21

  19. Notations Model- CPUT Oracle Conformity Relation P z (k) M x (k ) 6 /21

  20. Conformity relation in constraint solving problem  One Solution (conf k one ) 7 /21

  21. Conformity relation in constraint solving problem  One Solution (conf k one ) non-conform M : solutions set of M P : solutions set of P 7 /21

  22. Conformity relation in constraint solving problem  One Solution (conf k one ) non-conform M : solutions set of M P : solutions set of P 7 /21

  23. Conformity relation in constraint solving problem  One Solution (conf k one ) non-conform M : solutions set of M P : solutions set of P 7 /21

Recommend

Motivations for migration of Motivations for migration of Dutch Somalis to the UK New migrations

Motivations for migration of Motivations for migration of Dutch Somalis to the UK New migrations

Motivations for migration of Motivations for migration of Dutch Somalis to the UK New migrations to the UK and g complexities of integration Dr. Ilse van Liempt i.van-liempt@sussex.ac.uk Somali community in NL Somalis moving on from NL

456 views • 12 slides
When Neurons Fail El Mahdi El Mhamdi, Rachid Guerraoui BDA, Chicago July 25th, 2016 1 / 28

When Neurons Fail El Mahdi El Mhamdi, Rachid Guerraoui BDA, Chicago July 25th, 2016 1 / 28

When Neurons Fail El Mahdi El Mhamdi, Rachid Guerraoui BDA, Chicago July 25th, 2016 1 / 28 Motivations Table of Contents Motivations 1 Problem statement 2 Results 3 2 / 28 Motivations Universality NNs everywhere 3 / 28 Motivations

438 views • 28 slides
TinyOS Overview of TinyOS Industrial motivations behind TinyOS What is TinyOS? TinyOS

TinyOS Overview of TinyOS Industrial motivations behind TinyOS What is TinyOS? TinyOS

Karan Mangla Lakshya Goel Ankit Gupta Nitin Jain TinyOS Overview of TinyOS Industrial motivations behind TinyOS What is TinyOS? TinyOS vs. traditional OS TinyOS design models TinyOS structure Industrial Motivations behind

448 views • 41 slides
Component Based Software Engineering approach on DSP Targets Agenda 2 / 2 / Motivations

Component Based Software Engineering approach on DSP Targets Agenda 2 / 2 / Motivations

Component Based Software Engineering approach on DSP Targets Agenda 2 / 2 / Motivations Context LwCCM/MyCCM GPP - DSP unified approach (EULER) Framework optimizations for DSP Benchmarks Perspectives Conclusion 2011/05/20 Motivations

783 views • 25 slides
HVP lattice finite-volume Giusti corrections OUTLINE Motivations Second Plenary Workshop of

HVP lattice finite-volume Giusti corrections OUTLINE Motivations Second Plenary Workshop of

Davide HVP lattice finite-volume Giusti corrections OUTLINE Motivations Second Plenary Workshop of the Muon g-2 Theory Initiative Helmholtz Institut Mainz Current status from Collaborations 18th - 22nd June 2018 Motivations HVP of

198 views • 18 slides
(BUILDING AN) AI PLATFORM ON HTCONDOR Motivations, lessons learnt and Next Steps Cedalion

(BUILDING AN) AI PLATFORM ON HTCONDOR Motivations, lessons learnt and Next Steps Cedalion

(BUILDING AN) AI PLATFORM ON HTCONDOR Motivations, lessons learnt and Next Steps Cedalion standing on the shoulders of Orion by Nicolas Poussin, 1658 Motivations Design Guidelines Platform Abstractions Platform Architecture AGENDA Demo

236 views • 10 slides
Motivations Present and future probes of DE: BAO, Weak Lensing, Ly , 21cm, ... they all require

Motivations Present and future probes of DE: BAO, Weak Lensing, Ly , 21cm, ... they all require

Dark Matter Clustering from the Renormalization Group and implications for cosmic acceleration Massimo Pietroni - Infn Padova (in collaboration with Sabino Matarrese) Motivations: BAO and all that Eulerian Perturbation Theory:

327 views • 21 slides
v4l2 stream sharing Brandon Philips brandon@ifup.org brandon@suse.com Motivations Single

v4l2 stream sharing Brandon Philips brandon@ifup.org brandon@suse.com Motivations Single

v4l2 stream sharing Brandon Philips brandon@ifup.org brandon@suse.com Motivations Single Streaming Application Problem 3 Motivations User-space autofocus 4 Motivations User-space autofocus Face tracking and panning 5

570 views • 32 slides
Contributions for 5G Development at Brazil May 22 nd 2018 Dr. Henry Douglas Rodrigues Agenda

Contributions for 5G Development at Brazil May 22 nd 2018 Dr. Henry Douglas Rodrigues Agenda

Contributions for 5G Development at Brazil May 22 nd 2018 Dr. Henry Douglas Rodrigues Agenda Motivations for 5G Inatel Contributions for 5G Demos and Performance Future Work Conclusions Motivations Motivations 5G

380 views • 26 slides
Formal verification of low-level execution platforms Apps OS Hardware Host 1 Motivations

Formal verification of low-level execution platforms Apps OS Hardware Host 1 Motivations

Roberto Guanciale Estonian Winter School Day 02 Formal verification of low-level execution platforms Apps OS Hardware Host 1 Motivations Apps Crypto Service OS Hypervisor/ Separation Kernel Hardware Host 1 Motivations Separation

850 views • 63 slides
Cracking Passwords With Time-memory Trade-offs Gildas Avoine Universit e catholique de

Cracking Passwords With Time-memory Trade-offs Gildas Avoine Universit e catholique de

Cracking Passwords With Time-memory Trade-offs Gildas Avoine Universit e catholique de Louvain, Belgium SUMMARY Motivations Hellman Tables Oechslin Tables Real Life Examples Fingerprint Tables Conclusion MOTIVATIONS Motivations

692 views • 32 slides
Programme of Lectures Motivations and introduction What we know now The future?

Programme of Lectures Motivations and introduction What we know now The future?

Programme of Lectures Motivations and introduction What we know now The future? Supersymmetric Higgses Higgs factories The Particle Higgsaw Puzzle Is LHC finding the missing piece? Is it the right shape? Is it the right size?

661 views • 42 slides
Mail Server Andrea Gussoni andrea at gussoni.ovh P.O.u.L. 12 Aprile 2017 Motivations Why

Mail Server Andrea Gussoni andrea at gussoni.ovh P.O.u.L. 12 Aprile 2017 Motivations Why

Mail Server Andrea Gussoni andrea at gussoni.ovh P.O.u.L. 12 Aprile 2017 Motivations Why bother to configure and manage our own mail server?: Cant I just use THE CLOUD TM ? Motivations 0 https://www . theguardian .

1.54k views • 49 slides
How Serious is the WMD Terrorism Threat?: Terrorist Motivations and Capabilities for Using

How Serious is the WMD Terrorism Threat?: Terrorist Motivations and Capabilities for Using

How Serious is the WMD Terrorism Threat?: Terrorist Motivations and Capabilities for Using Chemical, Biological, Radiological, and Nuclear Weapons Gary Ackerman Director, WMD Terrorism Research Program Center for Nonproliferation Studies

609 views • 41 slides
Artificial Intelligence Course Presentation Summary Artificial Intelligence Motivations

Artificial Intelligence Course Presentation Summary Artificial Intelligence Motivations

Artificial Intelligence Artificial Intelligence Course Presentation Summary Artificial Intelligence Motivations Course Plan Resources Exam Methods Motivations Artificial Intelligence Artificial Intelligence: Machines that think and

412 views • 11 slides
Artificial Intelligence Course Presentation Summary Artificial Intelligence Motivations

Artificial Intelligence Course Presentation Summary Artificial Intelligence Motivations

Artificial Intelligence Artificial Intelligence Course Presentation Summary Artificial Intelligence Motivations Course Plan Resources Exam Methods Motivations Artificial Intelligence Artificial Intelligence: Machines that think and

385 views • 23 slides
Two Tools for the Analysis of Longitudinal Data: Motivations, Applications and Issues Vern

Two Tools for the Analysis of Longitudinal Data: Motivations, Applications and Issues Vern

Two Tools for the Analysis of Longitudinal Data: Motivations, Applications and Issues Two Tools for the Analysis of Longitudinal Data: Motivations, Applications and Issues Vern Farewell Medical Research Council Biostatistics Unit, UK Flexible

817 views • 54 slides
Examini ning ng t the motivations ns and e nd emotions ns linked to to the f formation o

Examini ning ng t the motivations ns and e nd emotions ns linked to to the f formation o

Examini ning ng t the motivations ns and e nd emotions ns linked to to the f formation o of a Voluntary sew ewing ng group f p formed i d in respo pons nse t to Covid vid-19 19 Tamworth V Volunt ntee eers Se Sewing f

493 views • 23 slides
Motivations You have learned how to write simple programs to create and display GUI components.

Motivations You have learned how to write simple programs to create and display GUI components.

9/19/2017 Chapter 13 Abstract Classes and Interfaces Liang, Introduction to Java Programming, Tenth Edition, (c) 2015 Pearson Education, Inc. All 1 1 rights reserved. Motivations You have learned how to write simple programs to create and

739 views • 16 slides
Automated Reasoning Course Presentation Summary Automated Reasoning Motivations Course Plan

Automated Reasoning Course Presentation Summary Automated Reasoning Motivations Course Plan

Automated Reasoning Automated Reasoning Course Presentation Summary Automated Reasoning Motivations Course Plan Resources Exam Methods Motivations Automated Reasoning Automated reasoning mechanising the reasoning process. reasoning :

159 views • 14 slides
Introduction So far, GR seems compatible with all observations. Several motivations for

Introduction So far, GR seems compatible with all observations. Several motivations for

Dark energy &amp; Modified gravity in scalar-tensor theories David Langlois (APC, Paris) Introduction So far, GR seems compatible with all observations. Several motivations for exploring modified gravity Quantum gravity effects

584 views • 37 slides
1 Overview Introduction Motivations Multikernel Model Implementation The

1 Overview Introduction Motivations Multikernel Model Implementation The

1 Overview Introduction Motivations Multikernel Model Implementation The Barrelfish Performance Testing Conclusion 2 Introduction Change and diversity in computer hardware become a challenge for OS designers

839 views • 24 slides
Photon detection workshop CSU May 18, 2016 1. Motivations for this study 2. History and

Photon detection workshop CSU May 18, 2016 1. Motivations for this study 2. History and

Carlos Escobar, Paul Rubinov Photon detection workshop CSU May 18, 2016 1. Motivations for this study 2. History and Background 3. Recent investigations 4. Test using the SCENE cryostat at Fermilab 5. Preliminary Results 6. Using the Solid

527 views • 39 slides
PD Nov. 5, 2015 1. Motivations for this study 2. History and Background 3. Recent investigations

PD Nov. 5, 2015 1. Motivations for this study 2. History and Background 3. Recent investigations

Carlos Escobar, Paul Rubinov PD Nov. 5, 2015 1. Motivations for this study 2. History and Background 3. Recent investigations 4. Test using the SCENE cryostat at Fermilab 5. Preliminary Results 6. Using the Solid Xenon facility at PAB 7.

525 views • 37 slides

More recommend