The PubPeer database contains all articles.
To leave the first comment on a specific article, paste a unique identifier such as a DOI, PubMed ID, or arXiv ID into the search bar.
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li
Search publications for: doi:10.1007/S10817-018-09501-Z 1 result
A Conflict-Driven Solving Procedure for Poly-Power Constraints
Cheng-Chao Huang, Ming Xu, Zhi-Bin Li