Author of the publication

Tunable Online MUS/MSS Enumeration.

, , , and . FSTTCS, volume 65 of LIPIcs, page 50:1-50:13. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

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