( en | de | ru )

 

Disambiguierung von "Preiner, Mathias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On solving quantified bit-vector constraints using invertibility conditions.

, , , , und . Formal Methods Syst. Des., 57 (1): 87-115 (2021)

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.

Gerhard Preiner

Mathias Rafler

Gaussian loop- and Pólya processes: a point process approach. Uni Potsdam, (2009)

Mathias Rausch

Stärkung des Informationsanspruchs durch das Arca-nigra-Verfahren: ein In-camera-Verfahren zur Kontrolle der Informationsgabe. Uni Köln, (2009)

Mathias Guder

Photo-resist stripping with DI/O3 in semiconductor device manufacturing: process chemistry and analytical aspects. Uni Frankfurt Main, (2010)

Mathias Ehrlich

 

Weitere Publikationen von Autoren mit dem selben Namen

On solving quantified bit-vector constraints using invertibility conditions., , , , und . Formal Methods Syst. Des., 57 (1): 87-115 (2021)Publisher Correction: Algorithm selection for SMT., , , , und . Int. J. Softw. Tools Technol. Transf., 25 (5): 799-800 (Dezember 2023)On Solving Quantified Bit-Vectors using Invertibility Conditions., , , , und . CoRR, (2018)Btor2 , BtorMC and Boolector 3.0., , , und . CAV (1), Volume 10981 von Lecture Notes in Computer Science, Seite 587-595. Springer, (2018)Ternary Propagation-Based Local Search for more Bit-Precise Reasoning., und . FMCAD, Seite 214-224. IEEE, (2020)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , und . SAT, Volume 11628 von Lecture Notes in Computer Science, Seite 279-297. Springer, (2019)Counterexample-Guided Model Synthesis., , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 264-280. (2017)Algorithm selection for SMT., , , , und . Int. J. Softw. Tools Technol. Transf., 25 (2): 219-239 (April 2023)ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends., , und . CAV (2), Volume 12760 von Lecture Notes in Computer Science, Seite 231-242. Springer, (2021)Model-Based API Testing for SMT Solvers., , und . SMT, Volume 1889 von CEUR Workshop Proceedings, Seite 3-14. CEUR-WS.org, (2017)