Searching for "Congruence Closure with Integer Offsets." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Congruence Closure with Integer Offsets
by Robert Nieuwenhuis, Albert Oliveras — 2003 — Logic for Programming, Artificial Intelligence, and Reasoning, 10th International Conference, LPAR 2003
…Congruence Closure with Integer Offsets Robert Nieuwenhuis and Albert Oliveras ? Technical…
Cited by 18 (3 self) – Add To MetaCart

Proof-producing Congruence Closure
by Robert Nieuwenhuis, Albert Oliveras — 2005 — 16th International Conference on Rewriting Techniques and Applications
… closure with integer offsets. Proof-Producing Congruence Closure 461 In the remainder of this paper we…
Cited by 19 (2 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB