( en | de | ru )

 

Disambiguierung von "Mayer-Eichberger, Valentin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On CNF Encodings of Decision Diagrams.

, , , und . CPAIOR, Volume 9676 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dieter Mayer-Eichberger

Valentin Mayer

Sabine Mayer-Eichberger

Katharina Mayer-Eichberger

Valentin Daniel Mayer

 

Weitere Publikationen von Autoren mit dem selben Namen

Encoding Linear Constraints with Implication Chains to CNF., , und . CP, Volume 9255 von Lecture Notes in Computer Science, Seite 3-11. Springer, (2015)Positional Games and QBF: The Corrective Encoding., und . SAT, Volume 12178 von Lecture Notes in Computer Science, Seite 447-463. Springer, (2020)Implicit QBF Encodings for Positional Games., , , und . ACG, Volume 14528 von Lecture Notes in Computer Science, Seite 133-145. Springer, (2023)Modelling Satisfiability Problems: Theory and Practice.. IJCAI, Seite 4012-4013. IJCAI/AAAI Press, (2016)Implicit State and Goals in QBF Encodings for Positional Games (extended version)., , , und . CoRR, (2023)Just-in-Time Hierarchical Constraint Decomposition.. AAAI, Seite 4182-4183. AAAI Press, (2015)SAT Encodings for the Car Sequencing Problem., und . POS@SAT, Volume 29 von EPiC Series in Computing, Seite 15-27. EasyChair, (2013)QBF Programming with the Modeling Language Bule., , und . SAT, Volume 236 von LIPIcs, Seite 31:1-31:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)