( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Invertibility Conditions for Floating-Point Formulas.

, , , , , и . CAV (2), том 11562 из Lecture Notes in Computer Science, стр. 116-136. Springer, (2019)

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.

Gerhard Preiner

Mathias Rausch

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

Mathias Rafler

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

Mathias Guder

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

Mathias Linnert

 

Другие публикации лиц с тем же именем

On Solving Quantified Bit-Vectors using Invertibility Conditions., , , , и . CoRR, (2018)On solving quantified bit-vector constraints using invertibility conditions., , , , и . Formal Methods Syst. Des., 57 (1): 87-115 (2021)Publisher Correction: Algorithm selection for SMT., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (5): 799-800 (декабря 2023)Btor2 , BtorMC and Boolector 3.0., , , и . CAV (1), том 10981 из Lecture Notes in Computer Science, стр. 587-595. Springer, (2018)Ternary Propagation-Based Local Search for more Bit-Precise Reasoning., и . FMCAD, стр. 214-224. IEEE, (2020)Syntax-Guided Rewrite Rule Enumeration for SMT Solvers., , , , , , и . SAT, том 11628 из Lecture Notes in Computer Science, стр. 279-297. Springer, (2019)Algorithm selection for SMT., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (2): 219-239 (апреля 2023)Counterexample-Guided Model Synthesis., , и . TACAS (1), том 10205 из Lecture Notes in Computer Science, стр. 264-280. (2017)ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends., , и . CAV (2), том 12760 из Lecture Notes in Computer Science, стр. 231-242. Springer, (2021)Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures., , , , и . POS@SAT, том 29 из EPiC Series in Computing, стр. 28-40. EasyChair, (2013)