An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals

Shuvendu K. Lahiri and Madanlal Musuvathi

Details

Publication typeArticle
Published inElectr. Notes Theor. Comput. Sci.
Pages27-41
Volume144
Number2
PublisherElsevier
> Publications > An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals