University of Limerick Institutional Repository

Browsing LERO - Project partner authors by Author "Chen, Huan"

DSpace Repository

Browsing LERO - Project partner authors by Author "Chen, Huan"

Sort by: Order: Results:

  • Chen, Huan; Marques-Silva, Joao (Association for Computing Machinery, 2012)
    Boolean function bi-decomposition is pervasive in logic synthesis. Bi-decomposition entails the decomposition of a Boolean function into two other simpler functions connected by a simple two-input gate. Existing solutions ...
  • Chen, Huan; Janota, Mikolas; Marques-Silva, Joao (IEEE Computer Society, 2012)
    Boolean function bi-decomposition is ubiquitous in logic synthesis. It entails the decomposition of a Boolean function using two-input simple logic gates. Existing solutions for bidecomposition are often based on BDDs ...
  • 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