Talks on "Hybrid Numeric Constraints & Applications" given at the
-
Outline
-
Hybrid Constraints over Continuous
Domains: introduction
-
Constraint Programming over Continuous Domains
-
Hybrid CSP & Global Optimization
-
Program verification: Refining AI Approximations with hybrid CP solvers
-
Hybrid Constraint-Based Bounded Program Verification