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

Wu, C.-Y.C.-Y.WuWu, C.-A.C.-A.WuLai, C.-Y.C.-Y.LaiCHUNG-YANG HUANG2020-06-112020-06-112013https://scholars.lib.ntu.edu.tw/handle/123456789/499731A counterexample-guided interpolant generation algorithm for SAT-based model checkingconference paper10.1145/2463209.24888792-s2.0-84879852449https://www.scopus.com/inward/record.uri?eid=2-s2.0-84879852449&doi=10.1145%2f2463209.2488879&partnerID=40&md5=8df4d4037b12a68c00557d3a506cc3c8