A Conflict-Driven Solving Procedure for Poly-Power Constraints

Huang, CC; Xu, M; Li, ZB

Xu, M (corresponding author), East China Normal Univ, Shanghai Key Lab Multidimens Informat Proc, Shanghai, Peoples R China.; Xu, M (corresponding author), East China Normal Univ, Dept Comp Sci & Technol, Shanghai, Peoples R China.

JOURNAL OF AUTOMATED REASONING, 2020; 64 (1): 1

Abstract

This paper studies the satisfiability problem of poly-power constraints (conjunctions of poly-power equations and inequalities), in which poly-powers ......

Full Text Link