Microsoft Research
Microsoft Translator |
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals

Shuvendu K. Lahiri and Madanlal Musuvathi
2006

paper.pdf
PDF file

In  Electr. Notes Theor. Comput. Sci.

Publisher  Elsevier
Copyright © 2007 Elsevier B.V. All rights reserved.

Details

TypeArticle
Pages27-41
Volume144
Number2
Share
Share this page on Facebook
Share this page on Twitter
Share this page on LinkedIn
E-mail this page
RSS feeds
> Publications > An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals