Open accessResearch articleFirst published 2024-06-01pp. 1-7TT-Open-WBO-Inc : An Efficient Anytime MaxSAT Solver Alexander Nadel
Open accessResearch articleFirst published 2024-06-01pp. 9-25The Riis Complexity Gap for QBF Resolution Olaf Beyersdorff, Judith Clymo, Stefan Dantchev , [...]View all
Open accessResearch articleFirst published 2024-06-01pp. 27-59Proof Complexity of Propositional Model Counting Olaf Beyersdorff, Tim Hoffmann, Luc N. Spachmann
Open accessResearch articleFirst published 2023-06-01pp. 17-23OMTPlan: A Tool for Optimal Planning Modulo Theories Francesco Leofante