An Incomplete Unsatisfiable Cores Extracting Algorithm to Promote Routing.

Jianmin ZhangTiejun LiSiqing Fu
Published in: QRS (2021)