Hyondeuk Kim, HoonSang Jin, Fabio Somenzi
Disequality Management in Integer Difference Logic via Finite Instantiations
SMT, 2007.
@article{SMT-J-2006-KimJS,
author = "Hyondeuk Kim and HoonSang Jin and Fabio Somenzi",
ee = "http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_4_Kim.pdf",
journal = "{Journal on Satisfiability, Boolean Modeling and Computation}",
number = "1-2",
pages = "47--66",
title = "{Disequality Management in Integer Difference Logic via Finite Instantiations}",
volume = 3,
year = 2007,
}