Sign in

Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic.

Alberto GriggioThi Thieu Hoa LeRoberto Sebastiani
Published in: TACAS (2011)
Keyphrases
  • integer arithmetic
  • computer vision
  • multiscale
  • linear programming
  • computationally efficient
  • satisfiability problem