Skip to contents

Preiner, Mathias [Author] ; Niemetz, Aina [Other]; Reynolds, Andrew [Other]; Barrett, Clark [Other]; Tinelli, Cesare [Other]

Syntax-Guided Quantifier Instantiation

View online
Schließen

Access

... to video recording via DOI (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Erscheinungsort nicht ermittelbar]: European Joint Conferences on Theory and Practice of Software - ETAPS - e. V, 2021

Published in: 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021 ; (Jan. 2021)
Graham-Lengrand, Stéphane [Editor]; Preiner, Mathias [Editor] ; International Workshop on Satisfiability Modulo Theories 21. 2023 Rom

Satisfiability Modulo Theories - 21st International Workshop, SMT 2023 proceedings : Rome, Italy, affiliated with CADE-29, July 5-6, 2023

View online
Schließen

Access

... to E-book via Resolving system (freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Aachen, Germany]: [RWTH Aachen], 2023-07-01

Published in: CEUR workshop proceedings ; 3429
Preiner, Mathias [Author]; Niemetz, Aina [Author]; Biere, Armin [Author]

Better lemmas with lambda extraction

View online
Schließen

Links

... to electronic resource

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2015

Published in: Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015). - [Piscataway, NJ], 2015. - 128-135, ISBN: 978-0-9835678-5-1
Niemetz, Aina [Author]; Preiner, Mathias [Author]; Biere, Armin [Author]

Turbo-charging Lemmas on demand with don't care reasoning

View online
Schließen

Links

... to electronic resource

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2014

Published in: Formal methods in computer-aided design (FMCAD), 2014. - Piscataway, NJ, 2024. - 179-186, ISBN: 978-1-4799-7577-8
Scott, Joseph [Author]; Niemetz, Aina [Author]; Preiner, Mathias [Author]; Ganesh, Vijay [Author]

Abstract: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2020

Published in: International Workshop on Satisfiability Modulo Theories (18. : 2020 : Online): Satisfability Modulo Theories - 18th international workshop, SMT 2020 ; (2020), Seite 62
Niemetz, Aina [Author]; Preiner, Mathias [Author]; Wolf, Clifford [Author]; Biere, Armin [Author]

Btor2 , BtorMC and Boolector 3.0

View online
Schließen

Links

... to electronic resource

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

University of Freiburg: FreiDok, 2018

Published in: Computer aided verification. - Cham, 2018. - 587-595, ISBN: 978-3-319-96145-3
Fazekas, Katalin [Author]; Niemetz, Aina [Author]; Preiner, Mathias [Author]; Kirchweger, Markus [Author]; Szeider, Stefan [Author]; Biere, Armin [Author] ; Katalin Fazekas and Aina Niemetz and Mathias Preiner and Markus Kirchweger and Stefan Szeider and Armin Biere [Contributor]

IPASIR-UP: User Propagators for CDCL

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Niemetz, Aina; Preiner, Mathias

Lecture Notes in Computer Science: Bitwuzla

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2023

Published in: Lecture Notes in Computer Science (2023), Seite 3-17
Niemetz, Aina; Preiner, Mathias; Zohar, Yoni

Computer Aided Verification: Scalable Bit-Blasting with Abstractions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Nature Switzerland, 2024

Published in: Computer Aided Verification (2024), Seite 178-200
Niemetz, Aina; Preiner, Mathias; Barrett, Clark

Lecture Notes in Computer Science: Murxla: A Modular and Highly Extensible API Fuzzer for SMT Solvers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2022

Published in: Lecture Notes in Computer Science (2022), Seite 92-106
Kremer, Gereon; Niemetz, Aina; Preiner, Mathias

Lecture Notes in Computer Science: ddSMT 2.0: Better Delta Debugging for the SMT-LIBv2 Language and Friends

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Lecture Notes in Computer Science (2021), Seite 231-242
Preiner, Mathias; Niemetz, Aina; Biere, Armin

Lecture Notes in Computer Science: Counterexample-Guided Model Synthesis

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2017

Published in: Lecture Notes in Computer Science (2017), Seite 264-280
Niemetz, Aina; Preiner, Mathias; Biere, Armin

Propagation based local search for bit-precise reasoning

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2017

Published in: Formal Methods in System Design, 51 (2017) 3, Seite 608-636
Niemetz, Aina; Preiner, Mathias; Biere, Armin

Lecture Notes in Computer Science: Precise and Complete Propagation Based Local Search for Satisfiability Modulo Theories

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2016

Published in: Lecture Notes in Computer Science (2016), Seite 199-217
Niemetz, Aina; Preiner, Mathias; Biere, Armin

Boolector 2.0 : System description

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

IOS Press, 2015

Published in: Journal on Satisfiability, Boolean Modeling and Computation, 9 (2015) 1, Seite 53-58
Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Nejati, Saeed; Ganesh, Vijay

Algorithm selection for SMT : MachSMT: machine learning driven algorithm selection for SMT solvers : MachSMT: machine learning driven algorithm selection for SMT solvers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2023

Published in: International Journal on Software Tools for Technology Transfer, 25 (2023) 2, Seite 219-239
Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Nejati, Saeed; Ganesh, Vijay

Publisher Correction: Algorithm selection for SMT

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2023

Published in: International Journal on Software Tools for Technology Transfer, 25 (2023) 5-6, Seite 799-800
Scott, Joseph; Niemetz, Aina; Preiner, Mathias; Nejati, Saeed; Ganesh, Vijay

Lecture Notes in Computer Science: MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Lecture Notes in Computer Science (2021), Seite 303-325
Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare

Lecture Notes in Computer Science: Syntax-Guided Quantifier Instantiation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer International Publishing, 2021

Published in: Lecture Notes in Computer Science (2021), Seite 145-163
Niemetz, Aina; Preiner, Mathias; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare

On solving quantified bit-vector constraints using invertibility conditions

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2021

Published in: Formal Methods in System Design (2021)

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication