> Publications > An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals
Shuvendu K. Lahiri and Madanlal Musuvathi
2006
 PDF file |
In: Electr. Notes Theor. Comput. Sci.
Publisher: Elsevier
Copyright © 2007 Elsevier B.V. All rights reserved.
Details
| Type: | Article |
| Pages: | 27-41 |
| Volume: | 144 |
| Number: | 2 |
Related People
©2009 Microsoft Corporation. All rights reserved.