Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions. University of Trento and Fondazione Bruno Kessler, 2018. PDF
Masters
State-of-the-Art Cooperative Parallel SAT Solving. Technische Universitat Dresden, 2013. PDF
Search Space Partitioning with Lookahead. Technische Universitat Dresden, 2012. PDF