The estimation of weighted solution convex polyhedron in SMT problem.

Zhenhui Xu Yuting Yang Nan Jiang Chunxu Zhang Pei 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