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. SAT, 236, 31:1–31:14. [bib]