Publications

Samuel Teuber, Marko Kleine Büning, Carsten Sinz (2020). An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.
PDF Cite Project
Samuel Teuber (2019). Efficient unpacking of required software from CERNVM-FS. CERN Openlab Report.
PDF Cite Project DOI