External Links

    Journal: JSAT

    Volume 15, Issue 1

    1 -- 7Alexander Nadel. TT-Open-WBO-Inc: An Efficient Anytime MaxSAT Solver
    9 -- 25Olaf Beyersdorff, Judith Clymo, Stefan S. Dantchev, Barnaby Martin. The Riis Complexity Gap for QBF Resolution
    27 -- 59Olaf Beyersdorff, Tim Hoffmann, Luc Nicolas Spachmann. Proof Complexity of Propositional Model Counting
    runs on