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

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

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

Event-Triggered State Interval Estimation and Fault-Tolerant Control for Multi-Agent Systems

Think Fast, Talk Smart: Communication Techniques

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

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

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

Reparameterized Importance Sampling for Robust Variational Bayesian Neural Networks [Dongyoon Kim]

Comparative Dynamics in a Dynamic Oligopoly Model of Capital Accumulation, Chen Ling

Uma Girish: Fourier growth of communication protocols for XOR functions

RPA UiPath Full Course | RPA UiPath Tutorial For Beginners | RPA Course | RPA Tutorial | Simplilearn

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

SLOPPY '24: Tutorial 4 on MIP solving and pseudo-Boolean solving/optimization (Jakob Nordström)

Traizet Loop group methods for harmonic maps into S3 and H3

GOCC 11/06/2024 "A charge monomial basis of the Garsia-Procesi ring"

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

ELK Stack Tutorial For Beginners | Elastic Stack Tutorial | DevOps | Intellipaat

Kilian Risse: The planted clique conjecture holds for unary Sherali-Adams

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

SLOPPY '24: Tutorial 3 on pseudo-Boolean optimization (Jakob Nordström)