University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Lynce, Inês"

DSpace Repository

Browsing LERO - Project partner authors by Author "Lynce, Inês"

Sort by: Order: Results:

  • Belov, Anton; Janota, Mikolas; Lynce, Inês; Marques-Silva, Joao (Springer, 2012)
    A propositional formula in Conjunctive Normal Form (CNF) may contain redundant clauses | clauses whose removal from the for- mula does not a ect the set of its models. Identi cation of redundant clauses is important ...
  • Janota, Mikolas; Lynce, Inês; Manquinho, Vasco; Marques-Silva, Joao (IOS Press, 2012)
    This paper presents PackUp1. (PACKage UPgradability with Boolean formulations) a framework for solving the the software package upgradability problem. Earlier versions of the framework (cudf2msu, cudf2pbo) participated ...
  • 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