iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/nctcs/ZhangLM20.xml
Jianmin Zhang Tiejun Li Kefan Ma Accelerating Predicate Abstraction by Minimum Unsatisfiable Cores Extraction. 3-13 2020 NCTCS https://doi.org/10.1007/978-981-16-1877-2_1 conf/nctcs/2020 db/conf/nctcs/nctcs2020.html#ZhangLM20