◀ Click to filter

Total displayed: 1

Order by:
  • Core minimization in SAT-based abstraction
    Anton Belov, Huan Chen, Alan Mishchenko, Joao Marques Silva
    Design, Automation and Test in Europe (DATE), ACM, ACM, http://dl.acm.org/citation.cfm?id=2485624
    2013

Keywords

Year Published

2013 - 2013

Type

(1)
Conference Paper

Ranking

(1)
Other

Scope

(1)
International