Knowledge Processing and Information Systems
Valentin Mayer-Eichberger

Valentin Mayer-Eichberger

Publications

2022

  1. Jung, J. C., Mayer-Eichberger, V., & Saffidine, A. (2022). QBF Programming with the Modeling Language Bule. In SAT (Vol. 236, pp. 31:1–31:14). Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [bib]