Similar Tracks
SLOPPY '24: Conflict-Free Learning for MILP and WCSP (Pierre Montalbano, Université de Tours)
MIAO Research
Session 2 - 2024 GSN Research Conference, May 18, 2024
National Institute of Statistical Sciences (NISS)
SLOPPY '24: Oracle-Based Local Search for PB Optimization (Jeremias Berg, University of Helsinki)
MIAO Research
Event-Triggered State Interval Estimation and Fault-Tolerant Control for Multi-Agent Systems
Interval methods in control engineering
SLOPPY '24: Proof Logging for Branch-and-Bound MaxSAT with MaxCDCL (Dieter Vandesande, VUB)
MIAO Research
Math Videos: How To Learn Basic Arithmetic Fast - Online Tutorial Lessons
The Organic Chemistry Tutor
Repeatability and reproducibility assessment and robust regression of non-normally distributed data
ISSP20
WHOOPS '24: Pseudo-Boolean proof logging for things that aren't pseudo-Boolean (Ciaran McCreesh)
MIAO Research