New techniques for linear arithmetic: cubes and equalities

HIGHLIGHTS

• who: Martin Bromberger from the Germany Germany Germany Germany have published the research: New techniques for linear arithmetic: cubes and equalities, in the Journal: (JOURNAL)
• what: This efficient exchange is the main reason why SMT theory solvers exploit the incremental connection between the different polyhedra so well. The authors determine the center z of this largest cube and the associated edge length e with the following linear program (LP): maximize xe subject to Ax + a x2e ≤ b, where ai=ai xe ≥ 0. This is also the reason why the authors provide no experimental results for . . .
  

   

  

  If you want to have access to all the content you need to log in!

  Thanks :)

  Username or Email

  Password

  Remember me

  Lost your password?

  If you don't have an account, you can create one here.