CUFinder

Mathias Preiner

Mathias Preiner

Stanford University

H-index: 16

North America-United States

Contact Mathias Preiner

About Mathias Preiner

Mathias Preiner, With an exceptional h-index of 16 and a recent h-index of 14 (since 2020), a distinguished researcher at Stanford University, specializes in the field of Satisfiability Modulo Theories, Automated Reasoning, Formal Methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

Generating and Exploiting Automated Reasoning Proof Certificates

Bitwuzla

Algorithm selection for SMT: MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers

IPASIR-UP: User Propagators for CDCL

The FMCAD 2022 Student Forum

Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language

Murxla: A modular and highly extensible API fuzzer for SMT solvers

Flexible proof production in an industrial-strength SMT solver

Mathias Preiner Information

University

Position

___

Citations(all)

1146

Citations(since 2020)

945

Cited By

423

hIndex(all)

16

hIndex(since 2020)

14

i10Index(all)

21

i10Index(since 2020)

18

Email

University Profile Page

Google Scholar

Mathias Preiner Skills & Research Interests

Satisfiability Modulo Theories

Automated Reasoning

Formal Methods

Top articles of Mathias Preiner

Generating and Exploiting Automated Reasoning Proof Certificates

Communications of the ACM

2023/9/22

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Byron Cook
Byron Cook

H-Index: 25

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

Bitwuzla

2023/7/17

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Algorithm selection for SMT: MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers

International Journal on Software Tools for Technology Transfer

2023/4

Joseph Scott
Joseph Scott

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Saeed Nejati
Saeed Nejati

H-Index: 5

Vijay Ganesh
Vijay Ganesh

H-Index: 25

IPASIR-UP: User Propagators for CDCL

2023

Katalin Fazekas
Katalin Fazekas

H-Index: 4

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Armin Biere
Armin Biere

H-Index: 39

The FMCAD 2022 Student Forum

2022/10/17

Mathias Preiner
Mathias Preiner

H-Index: 11

Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language

2022/10/12

Andres Nötzli
Andres Nötzli

H-Index: 8

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Murxla: A modular and highly extensible API fuzzer for SMT solvers

2022/8/6

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Clark Barrett
Clark Barrett

H-Index: 29

Flexible proof production in an industrial-strength SMT solver

2022/8

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Yoni Zohar
Yoni Zohar

H-Index: 5

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Clark Barrett
Clark Barrett

H-Index: 29

cvc5: A versatile and industrial-strength SMT solver

2022

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Martin Brain
Martin Brain

H-Index: 13

Makai Mann
Makai Mann

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Ying Sheng
Ying Sheng

H-Index: 2

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

Bit-precise reasoning via Int-blasting

2022/1/14

Yoni Zohar
Yoni Zohar

H-Index: 5

Makai Mann
Makai Mann

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

CVC 5 at the SMT Competition 2022

2022

Haniel Barbosa
Haniel Barbosa

H-Index: 8

Clark Barrett
Clark Barrett

H-Index: 29

Martin Brain
Martin Brain

H-Index: 13

Aina Niemetz
Aina Niemetz

H-Index: 11

Andres Nötzli
Andres Nötzli

H-Index: 8

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Ying Sheng
Ying Sheng

H-Index: 2

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Yoni Zohar
Yoni Zohar

H-Index: 5

MachSMT: A machine learning-based algorithm selector for SMT solvers

Tools and Algorithms for the Construction and Analysis of Systems

2020

Joseph Scott
Joseph Scott

H-Index: 2

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Saeed Nejati
Saeed Nejati

H-Index: 5

Vijay Ganesh
Vijay Ganesh

H-Index: 25

Towards Satisfiability Modulo Parametric Bit-vectors

Journal of automated reasoning

2021/10

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Yoni Zohar
Yoni Zohar

H-Index: 5

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

ddSMT 2.0: better delta debugging for the SMT-LIBv2 language and friends

2021/7/15

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

On solving quantified bit-vector constraints using invertibility conditions

Formal Methods in System Design

2021/7

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Syntax-guided quantifier instantiation

2021/3/23

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Andrew Reynolds
Andrew Reynolds

H-Index: 22

Clark Barrett
Clark Barrett

H-Index: 29

Cesare Tinelli
Cesare Tinelli

H-Index: 27

Ternary Propagation-Based Local Search for more Bit-Precise Reasoning

2020/9/21

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

Bitwuzla at the SMT-COMP 2020

arXiv preprint arXiv:2006.01621, 2020

2020/5/30

Aina Niemetz
Aina Niemetz

H-Index: 11

Mathias Preiner
Mathias Preiner

H-Index: 11

See List of Professors in Mathias Preiner University(Stanford University)

Co-Authors

academic-engine

Useful Links

List of top 50 universities
List of top 100 universities
List of top 500 universities
Find Professors Email
Find Universities Email
CUFinder Academic Engine