Constraint Programming Courses
ACM SIGPLAN via YouTube Goals as Constraints: Writing miniKanren Constraints in miniKanren
ACM SIGPLAN via YouTube klogic: miniKanren in Kotlin - miniKanren'23 Conference
ACM SIGPLAN via YouTube SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques
ACM SIGPLAN via YouTube Introduction to Integer Linear Programming - CGSI 2024
Computational Genomics Summer Institute CGSI via YouTube