Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#Constraint Programming

Showing: 15 courses
The Julia Programming Language

Interval Methods for Scientific Computing in Julia

0 rewiews
Explore interval methods for scientific computing in Julia, focusing on constraint propagation, global optimization, and root finding using IntervalConstraintProgramming.jl and IntervalArithmetic.jl packages.
Add to list
12 Lesons
37 minutes
On-Demand
Free-Video
GERAD Research Center

Personalized Shift Scheduling Problems: From Modelling to Efficient Resolution

0 rewiews
Explore personalized shift scheduling challenges, modeling techniques, and efficient resolution methods for complex employee scheduling problems like nurse rostering.
Add to list
1 Lesons
51 minutes
On-Demand
Free-Video
Toronto Machine Learning Series (TMLS)

Using Constraint Programming to Improve Grocery Picking Efficiency at Loblaws

0 rewiews
Explore constraint programming techniques to optimize grocery picking efficiency, reduce costs, and improve profitability in online retail operations.
Add to list
1 Lesons
49 minutes
On-Demand
Free-Video
ACM SIGPLAN

Goals as Constraints: Writing miniKanren Constraints in miniKanren

0 rewiews
Explore an extension to miniKanren allowing goals to run as constraints, enhancing expressiveness and efficiency in relational programming.
Add to list
1 Lesons
45 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Combining Reinforcement Learning and Constraint Programming for Combinatorial Optimization

0 rewiews
Explore a hybrid approach combining reinforcement learning and constraint programming for solving complex combinatorial optimization problems, with applications in various fields.
Add to list
19 Lesons
28 minutes
On-Demand
Free-Video
Institute for Pure & Applied Mathematics (IPAM)

Prediction + Optimisation - Without and With Decision-Focused Learning

0 rewiews
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.
Add to list
1 Lesons
58 minutes
On-Demand
Free-Video
GOTO Conferences

Propagators Part 1

0 rewiews
Explore algorithms for information propagation, including CRDTs, Datalog, and SAT solving. Learn about Sussman and Radul's propagators and Kuper's lattice variables, blending frameworks for consistent, terminating results.
Add to list
1 Lesons
33 minutes
On-Demand
Free-Video
GOTO Conferences

Propagators Part 2

0 rewiews
Explores advanced concepts in propagator algorithms, blending frameworks to optimize termination and consistency in various computational domains like CRDTs, Datalog, and constraint programming.
Add to list
1 Lesons
22 minutes
On-Demand
Free-Video
JSConf

Constraint Programming in the Browser

0 rewiews
Explore constraint programming in JavaScript using Cassowary, enabling dynamic relationships between variables for innovative browser applications.
Add to list
10 Lesons
28 minutes
On-Demand
Free-Video
NDC Conferences

Building AI Solutions with Google OR-Tools

0 rewiews
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.
Add to list
24 Lesons
1 hour 4 minutes
On-Demand
Free-Video
ANITI Toulouse

Solving Scheduling Problems with Constraint Programming and Graph Neural Networks

0 rewiews
Explore innovative approaches combining constraint programming and graph neural networks to tackle complex scheduling challenges.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
The Julia Programming Language

The New DisjunctiveProgramming.jl - Modeling Generalized Disjunctive Programs

0 rewiews
Explore the enhanced DisjunctiveProgramming.jl for modeling Generalized Disjunctive Programs, featuring improved performance, expanded constraint support, and compatibility with JuMP and InfiniteOpt.
Add to list
1 Lesons
14 minutes
On-Demand
Free-Video
ACM SIGPLAN

klogic: miniKanren in Kotlin - miniKanren'23 Conference

0 rewiews
Explore miniKanren implementation in Kotlin with klogic, covering its features, design decisions, and practical applications in logic programming.
Add to list
1 Lesons
39 minutes
On-Demand
Free-Video
ACM SIGPLAN

Prompting Is Programming: A Query Language for Large Language Models

0 rewiews
Explore Language Model Programming (LMP) and LMQL, a novel approach combining text prompting and scripting for efficient language model interactions and task adaptations.
Add to list
1 Lesons
30 minutes
On-Demand
Free-Video
Simons Institute

Computing Small Rainbow Cycle Numbers with SAT Modulo Symmetries

0 rewiews
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.
Add to list
1 Lesons
40 minutes
On-Demand
Free-Video