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