Autor der Publikation

More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding.

, , und . CSR, Volume 7913 von Lecture Notes in Computer Science, Seite 378-390. Springer, (2013)

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

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers., , und . PAAR@IJCAR, Volume 3201 von CEUR Workshop Proceedings, CEUR-WS.org, (2022)Lemmas on Demand for Lambdas., , und . DIFTS@FMCAD, Volume 1130 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Single Clause Assumption without Activation Literals to Speed-up IC3., und . FMCAD, Seite 72-76. IEEE, (2021)A comparison of strategies for tolerating inconsistencies during decision-making., , und . SPLC (1), Seite 11-20. ACM, (2012)SDL Versus C Equivalence Checking., und . SDL Forum, Volume 3530 von Lecture Notes in Computer Science, Seite 323-338. Springer, (2005)Tutorial on Model Checking: Modelling and Verification in Computer Science.. AB, Volume 5147 von Lecture Notes in Computer Science, Seite 16-21. Springer, (2008)Nenofex: Expanding NNF for QBF Solving., und . SAT, Volume 4996 von Lecture Notes in Computer Science, Seite 196-210. Springer, (2008)Evaluating CDCL Variable Scoring Schemes., und . SAT, Volume 9340 von Lecture Notes in Computer Science, Seite 405-422. Springer, (2015)Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask)., , , und . SAT, Volume 8561 von Lecture Notes in Computer Science, Seite 317-332. Springer, (2014)Failed Literal Detection for QBF., und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 259-272. Springer, (2011)