University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Liffiton, Mark"

DSpace Repository

Browsing LERO - Project partner authors by Author "Liffiton, Mark"

Sort by: Order: Results:

  • Morgado, Antonio; Liffiton, Mark; Marques-Silva, Joao (2012)
    Enumeration of Minimal Correction Sets (MCS) finds a wide range of practical applications, including the identification of Minimal Unsatisfiable Subsets (MUS) used in verifying the complex control logic of microprocessor ...

Search ULIR


Browse

My Account

Statistics