Details for the publication HuangXL20.

Cheng-Chao Huang, Ming Xu, Zhi-Bin Li: A Conflict-Driven Solving Procedure for Poly-Power Constraints. In J. Autom. Reason. 64(1):1-20, 2020. DOI BIB