FMV Reports Series

See also FMV Technical Reports in JKU ePub.

2021

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 ]

2018

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 ]

2017

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 ]

2016

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 ]

2015

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 ]

2014

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 ]

2012

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 ]

2011

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 ]

2010

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.

2007

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 ]