ViewTube

Title: Integer programming for phylogenetic computations Speaker: Professor Dan Gusfield (University of California, Davis) Date: ...

In this complete 31-minute step-by-step tutorial, we solve a real-world 0-1 integer programming problem using Excel Solver.

We present the GPU implementation of the general-purpose interior-point solver Clarabel for convex optimization problems with ...

MIT 18.200 Principles of Discrete Applied Mathematics, Spring 2024 Instructor: Peter Shor View the complete course: ...

... global constraints, and automatically translates them to run on constraint programming (CP), mixed integer programming (MIP), ...

Quick explanation of mutually exclusive constraints in Integer Programming using course selection as an example!

Linear Programming (LP) is a cornerstone of mathematical optimization, but real-world problems often require more advanced ...

This video shows how to solve a binary problem using fathom method. The algorithm is described and the implementation is ...

Learn how to solve Linear Programming problems in Excel using the Solver add-in. This video walks through setting up decision ...

Pawel Kapuscinski - Optimizing fantasy basketball decisions with Python: linear & integer programming for roster management ...

In this lecture: Using integer programs to model covering, fixed-charge and either-or problems. Best viewed with 1080p resolution ...

In this lecture: Using integer decision variables to incorporate piecewise-linear objective functions. Best viewed with 1080p ...

A talk by Karol Węgrzycki, Max Planck Institute for Informatics, given on December 17, 2025. Integer linear programs min {cTx: Ax ...

In this lecture: Branch-and-bound method. Best viewed with 1080p resolution and in full screen. At 36:22, the optimal solution to ...

Title: Integer quadratic minimization over polyhedra in dimension two Speaker: Professor Robert Weismantel (ETH Zürich) Date: ...

More information on our webpage: https://sites.google.com/view/row-series/home.

Tutorial 1: An introduction to pseudo-Boolean proof logging Jakob Nordström, University of Copenhagen and Lund University 2nd ...