Report copyright - - 1 - Using an SMT Solver and Craig Interpolation to Detect and Remove Redundant Linear Constraints in Representations of Non-Convex Polyhedra Christoph
Please pass captcha verification before submit form
Please pass captcha verification before submit form