Add option to disable preprocessing (factorization and unit propagation)
Add paper