SLOPPY '24: Wishes for the VeriPB proof format (Daniel Le Berre, Université d'Artois) MIAO Research 211 подписчиков Скачать
SLOPPY '24: Conflict-Free Learning for MILP and WCSP (Pierre Montalbano, Université de Tours) Скачать
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) Скачать
Järvisalo and Berg: The implicit hitting set approach and its instantiation for PB optimization Скачать
Bart Bogaerts, Ciaran McCreesh, Jakob Nordström: Combinatorial solving with provably correct results Скачать
Stephan Gocht: Certifying correctness for combinatorial algorithms by using pseudo-Boolean reasoning Скачать
Ilario Bonacina: On vanishing sums of roots of unity in polynomial calculus and sum-of-squares Скачать
