University of Limerick Institutional Repository

Browsing by Subject "SAT"

DSpace Repository

Browsing by Subject "SAT"

Sort by: Order: Results:

  • Botterweck, Goetz; Janota, Mikolas; Schneeweiss, Denny (2009)
    Our feature configuration tool S2T2 Configurator integrates (1) a visual interactive representation of the feature model and (2) a formal reasoning engine that calculates consequences of the user’s actions and provides ...
  • 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 DSpace


My Account