TNF
/ INF
team
contact
software
publications
teaching
jobs
|
[ 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 ]
|