Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Clause Tableau Calculus for MinSAT., , und . CCIA, Volume 288 von Frontiers in Artificial Intelligence and Applications, Seite 88-97. IOS Press, (2016)Clause Branching in MaxSAT and MinSAT., , , und . CCIA, Volume 308 von Frontiers in Artificial Intelligence and Applications, Seite 17-26. IOS Press, (2018)A MaxSAT-Based Approach to the Team Composition Problem in a Classroom., , , und . AAMAS Workshops (Visionary Papers), Volume 10643 von Lecture Notes in Computer Science, Seite 164-173. Springer, (2017)A Bit-Vector Approach to Satisfiability Testing in Finitely-Valued Logics., und . ISMVL, Seite 270-275. IEEE Computer Society, (2016)A Clause Tableau Calculus for MaxSAT., , und . IJCAI, Seite 766-772. IJCAI/AAAI Press, (2016)A Tableau Calculus for Non-clausal Maximum Satisfiability., , und . TABLEAUX, Volume 11714 von Lecture Notes in Computer Science, Seite 58-73. Springer, (2019)Clausal Form Transformation in MaxSAT., , und . ISMVL, Seite 132-137. IEEE, (2019)