„QBF Programming“

Suchergebnisse

2 Treffer

• Handbook of Parallel Constraint Reasoning
  Sais, Lakhdar ; Hamadi, Youssef 2018 Springer International Publishing
• QBF Programming with the Modeling Language Bule
  Jung, Jean Christoph ; Mayer-Eichberger, Valentin ; Saffidine, Abdallah 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik