University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Klieber, William"

DSpace Repository

Browsing LERO - Project partner authors by Author "Klieber, William"

Sort by: Order: Results:

  • Janota, Mikolas; Klieber, William; Marques-Silva, Joao; Clarke, Edmund (Springer, 2012)
    We propose two novel approaches for using Counterexample- Guided Abstraction Re nement (CEGAR) in Quanti ed Boolean Formula (QBF) solvers. The rst approach develops a recursive algorithm whose search is driven by CEGAR ...

Search ULIR


Browse

My Account

Statistics