Concepedia

Mathias Preiner

MP

7

Publications

223

Citations

7

H-Index

2012

Active since

Affiliations

Johannes Kepler University of Linz(Current)

Mathias Preiner is an author at Johannes Kepler University of Linz specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningFormal VerificationComputer EngineeringVerificationSatisfiabilityProgram AnalysisSoftware Analysis

Publications per year

2012–2023

7

Publications

7

Boolector 2.0

Aina Niemetz, Mathias Preiner, Armin Biere · Journal on Satisfiability Boolean Modeling and Computation · 2015 · 124 citations · Full text

Engineering, Boolean Function, Smt Solver Boolector +6

A.: Resolution-based certificate extraction for QBF (tool presentation

Aina Niemetz, Mathias Preiner, Florian Lonsing et al. · 2012 · 24 citations

Propagation based local search for bit-precise reasoning

Aina Niemetz, Mathias Preiner, Armin Biere · Formal Methods in System Design · 2017 · 20 citations · Full text

Engineering, Verification, Computer-aided Verification +18

Analysis of Portfolio-Style Parallel SAT Solving on Current Multi-Core Architectures

Martin Aigner, Armin Biere, Christoph M. Kirsch et al. · EPiC series in computing · 2018 · 19 citations · Full text

Mathematical Programming, Engineering, Computer Architecture +17

Generating and Exploiting Automated Reasoning Proof Certificates

Haniel Barbosa, Clark Barrett, Byron Cook et al. · Communications of the ACM · 2023 · 13 citations

Rows per page

1–5 of 7