You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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