QBF Programming with the Modeling Language Bule.

Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine

Browse the full SAT paper archive.