( en | de | ru )

 

Disambiguierung von "Preiner, Mathias"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Resolution-Based Certificate Extraction for QBF - (Tool Presentation).

, , , , und . SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 430-435. Springer, (2012)

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 Schneider

 

Weitere Publikationen von Autoren mit dem selben Namen

Propagation based local search for bit-precise reasoning., , und . Formal Methods Syst. Des., 51 (3): 608-636 (2017)Towards Bit-Width-Independent Proofs in SMT Solvers., , , , , und . CADE, Volume 11716 von Lecture Notes in Computer Science, Seite 366-384. Springer, (2019)Lemmas on Demand for Lambdas., , und . DIFTS@FMCAD, Volume 1130 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)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)Challenges in Bit-Vector Reasoning.. SMT@CAV, Volume 3725 von CEUR Workshop Proceedings, Seite 2. CEUR-WS.org, (2024)Scalable Bit-Blasting with Abstractions., , und . CAV (1), Volume 14681 von Lecture Notes in Computer Science, Seite 178-200. Springer, (2024)Counterexample-Guided Model Synthesis., , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 264-280. (2017)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)