A Conflict-Driven Solving Procedure for Poly-Power Constraints
Crossref DOI link: https://doi.org/10.1007/s10817-018-09501-z
Published Online: 2018-12-05
Published Print: 2020-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Huang, Cheng-Chao
Xu, Ming http://orcid.org/0000-0002-9906-5677
Li, Zhi-Bin
Funding for this research was provided by:
National Natural Science Foundation of China (11871221, 11435005)
Text and Data Mining valid from 2018-12-05
Article History
Received: 7 May 2018
Accepted: 27 November 2018
First Online: 5 December 2018