Combining lists with integers (2001) [6 citations — 4 self]
Download:
|
|
by Calogero G. Zarba
International Joint Conference on Automated Reasoning (Short Papers), Technical Report DII 11/01
http://www.loria.fr/~zarba/papers/Zar01a.ps.gz
Add To MetaCart
Abstract:
Abstract. In this paper we present a satisability procedure for a constraint language combining at lists of ur-elements, the integers, and an arbitrary rst-order theory T of the ur-elements. Our procedure is an extension of the Nelson-Oppen combination method specically tailored to the combination domain of lists, integers, and ur-elements.
Citations
| 270 | Simplification by cooperating decision procedures – Nelson, Oppen - 1979 |
| 47 | A new correctness proof of the Nelson-Oppen combination procedure – Tinelli, Harandi - 1996 |
