Showing 1 - 4 results of 4 for search 'Joao Marques-Silva', query time: 0.04s Refine Results
  1. 1
    No silver bullet: interpretable ML models must be explained

    No silver bullet: interpretable ML models must be explained by Joao Marques-Silva, Alexey Ignatiev

    Published 2023-04-01
    Get full text
    Article
  2. 2
    Lazy Decomposition for Distributed Decision Procedures

    Lazy Decomposition for Distributed Decision Procedures by Youssef Hamadi, Joao Marques-Silva, Christoph M. Wintersteiger

    Published 2011-10-01
    Get full text
    Article
  3. 3
    Valuation of compounded deferred tax assets for the banking sector, using the binomial CRR algorithm

    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
    Get full text
    Article
  4. 4
    Solving Linux Upgradeability Problems Using Boolean Optimization

    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
    Get full text
    Article

Search Tools: