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

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
> Publications > An Efficient Nelson-Oppen Decision Procedure for Difference Constraints over Rationals