Paper Info
Title
Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction.
Year
DOI
Venue
2020
10.1007/978-981-16-1877-2_1
NCTCS
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Jianmin Zhang194.17
Tiejun Li2122.28
Kefan Ma300.34