Constraint Programming Courses and Certifications

ANITI Toulouse

Solving Scheduling Problems with Constraint Programming and Graph Neural Networks

Explore innovative approaches combining constraint programming and graph neural networks to tackle complex scheduling challenges.

• YouTube
• 24 minutes
• On-Demand
• Free Video

Toronto Machine Learning Series (TMLS)

Using Constraint Programming to Improve Grocery Picking Efficiency at Loblaws

Explore constraint programming techniques to optimize grocery picking efficiency, reduce costs, and improve profitability in online retail operations.

• YouTube
• 49 minutes
• On-Demand
• Free Video

Constraint Programming

1 review

Learn the basics of constraint programming from the implementation of solvers to modeling techniques for solving concrete combinatorial problems such as routing and scheduling.

• edX
• 14 weeks, 6-8 hours a week
• On-Demand
• Free Online Course (Audit)

Institute for Pure & Applied Mathematics (IPAM)

Prediction + Optimisation - Without and With Decision-Focused Learning

Explore AI-enhanced combinatorial optimization, including preference learning, decision-focused learning, and explanation generation. Discover CPMpy, a modern constraint programming language integrating multiple solving paradigms with machine learning.

• YouTube
• 58 minutes
• On-Demand
• Free Video

ACM SIGPLAN

Goals as Constraints: Writing miniKanren Constraints in miniKanren

Explore an extension to miniKanren allowing goals to run as constraints, enhancing expressiveness and efficiency in relational programming.

• YouTube
• 45 minutes
• On-Demand
• Free Video

ACM SIGPLAN

SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques

Explore novel superoptimization techniques for stack-bytecode, combining greedy algorithms, MaxSAT representation, and domain-specific constraints to enhance optimization gains and reduce processing time.

• YouTube
• 18 minutes
• On-Demand
• Free Video

Simons Institute

Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries

Explores computing rainbow cycle numbers using SAT modulo Symmetries, enhancing understanding of envy-freeness in fair division of indivisible goods and improving EFX allocation feasibility guarantees.

• YouTube
• 40 minutes
• On-Demand
• Free Video

Institute for Pure & Applied Mathematics (IPAM)

Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization

Explore a hybrid approach combining reinforcement learning and constraint programming for solving complex combinatorial optimization problems, with applications in various fields.

• YouTube
• 28 minutes
• On-Demand
• Free Video

JSConf

Constraint Programming in the Browser

Explore constraint programming in JavaScript using Cassowary, enabling dynamic relationships between variables for innovative browser applications.

• YouTube
• 28 minutes
• On-Demand
• Conference Talk

Code Sync

Constraint Programming with BEAM - Solving Queens, Reindeers, and Sudoku Problems

Explore constraint programming implementation on BEAM through Fixpoint solver, demonstrating solutions for combinatorial problems like Queens puzzle, Sudoku, and scheduling optimization.

• YouTube
• 30 minutes
• On-Demand
• Free Video

Combinatorial Testing

282 ratings at Udemy

Software Testing, Automation Testing, Pairwise Testing, Unit Testing, Integration Testing, Performance Testing

• Udemy
• 1 hour 2 minutes
• On-Demand
• Paid Course

Solving Algorithms for Discrete Optimization

44 ratings at Coursera

Explore advanced solving techniques for discrete optimization problems, enhancing modeling skills and solver selection. Learn constraint programming, mixed integer programming, and local search methods.

• Coursera
• 21 hours 52 minutes
• On-Demand
• Paid Course

Raw Coding

Constraint Oriented Programming in C#

Explore constraint-oriented programming paradigm in C#, learning how it shapes code structure and problem-solving approaches for more efficient and elegant solutions.

• YouTube
• 30 minutes
• On-Demand
• Free Video

This class is designed to be hands-on, and we will be using several Python frameworks against CTF challenges: a binary analysis framework called angr and a SMT solver called z3.

• Independent
• On-Demand
• Free Online Course

NDC Conferences

Building AI Solutions with Google OR-Tools

Learn to build AI solutions using Google OR-Tools for optimization problems. Explore constraint programming, linear programming, and mixed-integer programming through practical examples like Sudoku and scheduling.

• YouTube
• 1 hour 4 minutes
• On-Demand
• Conference Talk