University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Heras, Federico"

DSpace Repository

Browsing LERO - Project partner authors by Author "Heras, Federico"

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 ...

Search ULIR


Browse

My Account

Statistics