Research

Variable Dependencies of Quantified Boolean Formulas
FWF Project P27721 exploring new ways to leverage independence of variables for QBF.
Problem Instances
Benchmark instances and data sets for combinatorial optimization and algorithmic problem solving.