Login / Signup
A Simple Quantifier-Free Formula of Positive Semidefinite Cyclic Ternary Quartic Forms.
Jingjun Han
Published in:
ASCM (2012)
Keyphrases
</>
positive semidefinite
first order logic
semidefinite programming
quantifier free
data model
linear programming
semidefinite
boolean formula
quantifier elimination