Autor der Publikation

Approximate Counting of Minimal Unsatisfiable Subsets.

, und . CAV (1), Volume 12224 von Lecture Notes in Computer Science, Seite 439-462. Springer, (2020)

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

Evaluation of Domain Agnostic Approaches for Enumeration of Minimal Unsatisfiable Subsets., und . LPAR, Volume 57 von EPiC Series in Computing, Seite 131-142. EasyChair, (2018)Tunable Online MUS/MSS Enumeration., , , und . FSTTCS, Volume 65 von LIPIcs, Seite 50:1-50:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Recursive Online Enumeration of All Minimal Unsatisfiable Subsets., , und . ATVA, Volume 11138 von Lecture Notes in Computer Science, Seite 143-159. Springer, (2018)Finding Regressions in Projects under Version Control Systems., , und . ICSOFT, Seite 186-197. SciTePress, (2018)Replication-Guided Enumeration of Minimal Unsatisfiable Subsets., und . CP, Volume 12333 von Lecture Notes in Computer Science, Seite 37-54. Springer, (2020)Consistency checking in requirements analysis.. ISSTA, Seite 408-411. ACM, (2017)Rotation Based MSS/MCS Enumeration., und . LPAR, Volume 73 von EPiC Series in Computing, Seite 120-137. EasyChair, (2020)Timed Automata Robustness Analysis via Model Checking., , , und . CoRR, (2021)Finding Regressions in Projects under Version Control Systems., , und . CoRR, (2017)Overapproximation of Non-Linear Integer Arithmetic for Smart Contract Verification., , , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 257-269. EasyChair, (2023)