Jianmin Zhang, Tiejun Li, Siqing Fu. An Incomplete Unsatisfiable Cores Extracting Algorithm to Promote Routing. In 21st IEEE International Conference on Software Quality, Reliability and Security, QRS 2021, Hainan, China, December 6-10, 2021. pages 900-905, IEEE, 2021. [doi]