University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Subject "EDA"

DSpace Repository

Browsing LERO - Project partner authors by Subject "EDA"

Sort by: Order: Results:

  • Chen, Huan; Marques-Silva, Joao (IOS Press, 2012)
    Automatic Test Pattern Generation (ATPG) is arguably one of the practical applications that motivated the development of modern Boolean Satisfiability (SAT) solvers in the mid 90s. Despite the interest of using SAT in ...

Search ULIR


Browse

My Account

Statistics