![JKU](https://fmv.jku.at/jkulogo.png)
TNF
/ INF
team
contact
software
publications
teaching
jobs
![GI-Dissertation Award 2020](https://fmv.jku.at/gi-dissertationaward-2020-icon.png)
![FMCAD'20 Student Forum Best Student Contribution](https://fmv.jku.at/fmcad20-phd-forum-best-contribution-icon.jpg)
![SAT'20 Best Presentation Award](https://fmv.jku.at/best-presentation-award-SAT20-icon.jpg)
![GCAI'19 Post and Interaction Award](https://fmv.jku.at/gcai19certificate-icon.jpg)
![IJCAI-JAIR 2019 Award](https://fmv.jku.at/ijcai-jair-2019-award-icon.jpg)
![SAT'19 Best Student Paper](https://fmv.jku.at/sat19-best-student-paper-award-icon.jpg)
![CAV'18 Award](https://fmv.jku.at/bmc/cav18award-icon.png)
![HVC'17 Best Paper](https://fmv.jku.at/hvc17-best-paper-award-icon.jpg)
![ETAPS'17 Test of Time Award](https://fmv.jku.at/etaps2017totaward.jpg)
![HVC'15 Award](https://fmv.jku.at/hvc15awardicon.jpg)
![FMCAD'17 Best Paper](https://fmv.jku.at/fmcad17-best-paper-award-icon.jpg)
![CADE'17 Best Paper](https://fmv.jku.at/cade17-best-paper-award-icon.jpg)
![BMC](https://fmv.jku.at/award-most-influential-paper-in-the-first-20-years-of-tacas-small.jpg)
![Handbook of Satisfiability](https://fmv.jku.at/hbsat.png)
![UML@Classroom](https://fmv.jku.at/uml-en.png)
![UML@Classroom](https://fmv.jku.at/uml-de.png)
![www.digitaltechnik.org](https://fmv.jku.at/dtbook.png)
|
[ 21 |
18 | 17 | 16 |
15 | 14 | 12 |
11 | 10 | 07 ]
Mathias Fleury, Armin Biere. Efficient
All-UIP Learned Clause Minimization (Extended Version)
Technical Report 21/3, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria, May 2021.
[ report
| bibtex
| doi ]
Lee Barnett, Armin Biere. Non-Clausal
Redundancy Properties (Extended Version) Technical Report
21/2, FMV Reports
Series, Institute for Formal
Models and Verification, Johannes
Kepler University, Altenbergerstr. 69, 4040 Linz, Austria,
April 2021.
[ report
| bibtex
| doi ]
Sibylle Möhle, Cunjing Ge, Armin Biere. Program
Analysis Benchmarks Submitted to the Model Counting Competition MC
2020. Technical Report 21/1, FMV Reports Series, Institute for Formal Models and
Verification, Johannes Kepler
University, Altenbergerstr. 69, 4040 Linz, Austria,
January 2021.
[ report |
bibtex |
doi ]
Aina Niemetz, Mathias Preiner, Armin Biere.
Boolector at the SMT competition 2018. Technical Report
18/1, Stanford University and FMV Reports Series, Institute for Formal Models and
Verification, Johannes Kepler
University, Altenbergerstr. 69, 4040 Linz, Austria, June
2018.
[
report |
bibtex | boolector
]
Aina Niemetz, Mathias Preiner, Armin Biere.
Boolector at the SMT competition 2017. Technical Report
17/1, June 2017, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[
report |
bibtex | boolector
]
Aina Niemetz, Mathias Preiner, Armin Biere.
Boolector at the SMT competition 2016. Technical Report
16/1, June 2016, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[
report |
bibtex | boolector
]
Armin Biere. Lingeling and
Friends Entering the SAT Race 2015. Technical Report
15/2, April 2015, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[ report |
bibtex |
lingeling ]
Aina Niemetz, Mathias Preiner, Armin Biere.
Boolector at the SMT Competition 2015. Technical Report
15/1, June 2015, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[
report |
bibtex | boolector
]
Aina Niemetz, Mathias Preiner, Armin Biere.
Boolector at the SMT competition 2014. Technical Report
14/1, June 2014, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[
report |
bibtex | boolector
]
Armin Biere. Boolector
Entering the SMT Competition 2012. Technical Report
12/1, June 2012, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[ report
| bibtex
| boolector ]
Armin Biere. Boolector
Entering the SMT Competition 2011. Technical Report
11/3, June 2011, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[ report
| bibtex
| boolector ]
Armin Biere, Keijo Heljanko, Siert Wieringa. AIGER
1.9 And Beyond, Technical Report 11/2, July 2011,
FMV Reports Series, Institute for Formal Models and
Verification, Johannes Kepler
University, Altenbergerstr. 69, 4040 Linz, Austria.
[ report
| bibtex
| aiger ]
Armin Biere. Lingeling and
Friends at the SAT Competition 2011. Technical Report
11/1, March 2011, FMV
Reports Series, Institute for
Formal Models and Verification, Johannes Kepler University,
Altenbergerstr. 69, 4040 Linz, Austria.
[ report |
bibtex ]
Armin Biere. Lingeling,
Plingeling, PicoSAT and PrecoSAT at SAT Race 2010. Technical
Report 10/1, August 2010, FMV Reports Series, Institute for Formal Models and
Verification, Johannes Kepler
University, Altenbergerstr. 69, 4040 Linz, Austria.
Armin Biere. The AIGER
And-Inverter Graph (AIG) Format Version 20071012. Technical
Report 07/1, October 2011, FMV Reports Series, Institute for Formal Models and
Verification, Johannes Kepler
University, Altenbergerstr. 69, 4040 Linz, Austria.
[ report |
bibtex |
aiger ]
|