A counterexample-guided interpolant generation algorithm for SAT-based model checking

Journal

Proceedings - Design Automation Conference

Date Issued

2013

Author(s)

Wu, C.-Y.

Wu, C.-A.

Lai, C.-Y.

CHUNG-YANG HUANG

DOI

10.1145/2463209.2488879

URI

https://scholars.lib.ntu.edu.tw/handle/123456789/499731

URL

https://www.scopus.com/inward/record.uri?eid=2-s2.0-84879852449&doi=10.1145%2f2463209.2488879&partnerID=40&md5=8df4d4037b12a68c00557d3a506cc3c8

Type

conference paper