Disequality Management in Integer Difference Logic via Finite Instantiations.

Hyondeuk Kim HoonSang Jin Fabio Somenzi Disequality Management in Integer Difference Logic via Finite Instantiations. 47-66 2007 3 JSAT 1-2 http://jsat.ewi.tudelft.nl/content/volume3/JSAT3_4_Kim.pdf db/journals/jsat/jsat3.html#KimJS07