QBF Programming with the Modeling Language Bule

Jean Christoph Jung, Valentin Mayer-Eichberger, Abdallah Saffidine. QBF Programming with the Modeling Language Bule. In Kuldeep S. Meel, Ofer Strichman, editors, 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel. Volume 236 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Abstract

Abstract is missing.