Sign in

The estimation of weighted solution convex polyhedron in SMT problem.

Zhenhui XuYuting YangNan JiangChunxu ZhangPei Huang
Published in: CCIS (2016)
Keyphrases
  • convex hull
  • strictly convex
  • optimal solution
  • inequality constraints
  • mixed integer
  • linear equations
  • parameter estimation
  • integer programming
  • weighted graph
  • estimation algorithm
  • weight matrix