University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "INESC-ID"

DSpace Repository

Browsing LERO - Project partner authors by Author "INESC-ID"

Sort by: Order: Results:

  • Bordeaux, Lucas; Marques-Silva, Joao (Springer, 2012)
    When we encode constraints as Boolean formulas, a natural question is whether the encoding ensures a ”propagation completeness” property: is the basic unit propagation mechanism able to deduce all the literals that ...
  • Belov, Anton; Lynce, Inês; Marques-Silva, Joao (IOS Press, 2012)
    Minimally Unsatisfiable Subformulas (MUS) find a wide range of practical applications, including product configuration, knowledge-based validation, and hardware and software design and verification. MUSes also find ...

Search ULIR


Browse

My Account

Statistics