Mathias Preiner

All Publications

• Algorithm selection for SMT MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER Scott, J., Niemetz, A., Preiner, M., Nejati, S., Ganesh, V. 2023

  View details for DOI 10.1007/s10009-023-00696-0

  View details for Web of Science ID 000933642300001

• Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers Niemetz, A., Preiner, M., Barrett, C., Shoham, S., Vizel, Y. SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 92-106

  View details for DOI 10.1007/978-3-031-13188-2_5

  View details for Web of Science ID 000870310500005

• Flexible Proof Production in an Industrial-Strength SMT Solver Barbosa, H., Reynolds, A., Kremer, G., Lachnitt, H., Niemetz, A., Notzli, A., Ozdemir, A., Preiner, M., Viswanathan, A., Viteri, S., Zohar, Y., Tinelli, C., Barrett, C., Blanchette, J., Kovacs, L., Pattinson, D. SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 15-35

  View details for DOI 10.1007/978-3-031-10769-6_3

  View details for Web of Science ID 000876376400003

• cvc5: A Versatile and Industrial-Strength SMT Solver Barbosa, H., Barrett, C., Brain, M., Kremer, G., Lachnitt, H., Mann, M., Mohamed, A., Mohamed, M., Niemetz, A., Notzli, A., Ozdemir, A., Preiner, M., Reynolds, A., Sheng, Y., Tinelli, C., Zohar, Y., Fisman, D., Rosu, G. SPRINGER INTERNATIONAL PUBLISHING AG. 2022: 415-442

  View details for DOI 10.1007/978-3-030-99524-9_24

  View details for Web of Science ID 000782396700024

• Towards Satisfiability Modulo Parametric Bit-vectors JOURNAL OF AUTOMATED REASONING Niemetz, A., Preiner, M., Reynolds, A., Zohar, Y., Barrett, C., Tinelli, C. 2021

  View details for DOI 10.1007/s10817-021-09598-9

  View details for Web of Science ID 000663269800001

• On solving quantified bit-vector constraints using invertibility conditions FORMAL METHODS IN SYSTEM DESIGN Niemetz, A., Preiner, M., Reynolds, A., Barrett, C., Tinelli, C. 2021

  View details for DOI 10.1007/s10703-020-00359-9

  View details for Web of Science ID 000608679200001

• ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends Kremer, G., Niemetz, A., Preiner, M., Silva, A., Leino, K. R. SPRINGER INTERNATIONAL PUBLISHING AG. 2021: 231-242

  View details for DOI 10.1007/978-3-030-81688-9_11

  View details for Web of Science ID 000693429500011

• Invertibility Conditions for Floating-Point Formulas Brain, M., Niemetz, A., Preiner, M., Reynolds, A., Barrett, C., Tinelli, C., Dillig, Tasiran, S. SPRINGER INTERNATIONAL PUBLISHING AG. 2019: 116–36

  View details for DOI 10.1007/978-3-030-25543-5_8

  View details for Web of Science ID 000491468900008

• Solving Quantified Bit-Vectors Using Invertibility Conditions Niemetz, A., Preiner, M., Reynolds, A., Barrett, C., Tinelli, C., Chockler, H., Weissenbacher, G. SPRINGER INTERNATIONAL PUBLISHING AG. 2018: 236–55

  View details for DOI 10.1007/978-3-319-96142-2_16

  View details for Web of Science ID 000491469700016

• BTOR2, BtorMC and Boolector 3.0 Niemetz, A., Preiner, M., Wolf, C., Biere, A., Chockler, H., Weissenbacher, G. SPRINGER INTERNATIONAL PUBLISHING AG. 2018: 587–95

  View details for DOI 10.1007/978-3-319-96145-3_32

  View details for Web of Science ID 000491481600032