news

Jul 25, 2026 Excited to join FLOC for the first time and share my experience in tuning MaxSAT solvers at the CompBench workshop
Jul 15, 2026 Very happy to present our work block-bench at GECCO 2026 in San José, Costa Rica.