Showing 1 - 4 results of 4 for search 'Inês Lynce', query time: 0.02s Refine Results
  1. 1
    Repairing Boolean logical models from time-series data using Answer Set Programming

    Repairing Boolean logical models from time-series data using Answer Set Programming by Alexandre Lemos, Inês Lynce, Pedro T. Monteiro

    Published 2019-03-01
    Get full text
    Article
  2. 2
    On Improving Local Search for Unsatisfiability

    On Improving Local Search for Unsatisfiability by David Pereira, Inês Lynce, Steven Prestwich

    Published 2009-10-01
    Get full text
    Article
  3. 3
    Room usage optimization in timetabling: A case study at Universidade de Lisboa

    Room usage optimization in timetabling: A case study at Universidade de Lisboa by Alexandre Lemos, Francisco S. Melo, Pedro T. Monteiro, Inês Lynce

    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: