SLOPPY '24: Faster Unit Propagation in Pseudo-Boolean Solving (Rui Zhao, UPC Barcelona)

SLOPPY '24: Wishes for the VeriPB proof format (Daniel Le Berre, Université d'Artois)

Jordi Galí (CREI, UPF and Barcelona GSE) - Barcelona GSE Summer Forum 2019

Graph-based Semi-supervised and Unsupervised Local Clustering – Zhaiming Shen

SLOPPY '24: Proof Logging for RoundingSat (Marc Vinyals, University of Auckland)

UQ Hybrid Seminar - Dr. Desi R Ivanova, University of Oxford

SLOPPY '24: A MIP Perspective on Pseudo-Boolean Optimization (Alexander Tesch, BoolAI)

SLOPPY '24: Proof Logging for Branch-and-Bound MaxSAT with MaxCDCL (Dieter Vandesande, VUB)

INQA Conference 2024: Daniel Lidar - University of Southern California, USA

How to Start Coding | Programming for Beginners | Learn Coding | Intellipaat

Towards a global model of brain activity

Think Fast, Talk Smart: Communication Techniques

SLOPPY '24: Oracle-Based Local Search for PB Optimization (Jeremias Berg, University of Helsinki)

SLOPPY '24: Conflict-Free Learning for MILP and WCSP (Pierre Montalbano, Université de Tours)

Math Videos: How To Learn Basic Arithmetic Fast - Online Tutorial Lessons

Repeatability and reproducibility assessment and robust regression of non-normally distributed data

Gianluigi Rozza, "Recent advances on reduced order modelling..." | WCCM XI - ECCM V - ECFD VI, 2014

Data Analytics for Beginners | Data Analytics Training | Data Analytics Course | Intellipaat

SLOPPY '24: Tutorial 2 on pseudo-Boolean solving (Jakob Nordström)

Session 2 - 2024 GSN Research Conference, May 18, 2024

SLOPPY '24: Branch-and-Bound MaxSAT Solving with MaxCDCL (Jordi Coll, Universitat de Girona)