University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Morgado, Antonio"

DSpace Repository

Browsing LERO - Project partner authors by Author "Morgado, Antonio"

Sort by: Order: Results:

  • Heras, Federico; Morgado, Antonio; Marques-Silva, Joao (Springer, 2012)
    Weighted Partial MaxSAT (WPMS) is a well-known optimization variant of Boolean Satisfiability (SAT) that finds a wide range of practical applications.WPMS divides the formula in two sets of clauses: The hard clauses ...
  • Morgado, Antonio; Heras, Federico; Marques-Silva, Joao (Springer, 2012)
    Maximum Satisfiability (MaxSAT) and its weighted variants are wellknown optimization formulations of Boolean Satisfiability (SAT). Motivated by practical applications, recent years have seen the development of ...
  • Heras, Federico; Morgado, Antonio; Marques-Silva, Joao (Springer, 2012)
    This paper presents several ways to compute lower and upper bounds for MaxSAT based on calling a complete SAT solver. Preliminary results indicate that (i) the bounds are of high quality, (ii) the bounds can boost the ...
  • 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