Valuation of compounded deferred tax assets for the banking sector, using the binomial CRR algorithm

by João Marques Silva, Nuno Souto, José Azevedo Pereira
Published 2019-01-01

Lazy Decomposition for Distributed Decision Procedures

by Youssef Hamadi, Joao Marques-Silva, Christoph M. Wintersteiger
Published 2011-10-01

Solving Linux Upgradeability Problems Using Boolean Optimization

by Josep Argelich, Daniel Le Berre, Inês Lynce, Joao Marques-Silva, Pascal Rapicault
Published 2010-07-01