Robuta

https://www.uni-paderborn.de/en/project/254
satisfiability problemprojectquantumalgorithmscomplexity