Combining multisets with integers (2002) [5 citations — 2 self]
Download:
|
|
by Calogero G. Zarba
Automated Deduction – CADE-18
http://www.loria.fr/~zarba/papers/Zar02b.ps.gz
Add To MetaCart
Abstract:
Abstract. We present a decision procedure for a constraint language combining multisets of ur-elements, the integers, and an arbitrary rstorder theory T of the ur-elements. Our decision procedure is an extension of the Nelson-Oppen combination method specically tailored to the combination domain of multisets, integers, and ur-elements. 1
Citations
| 270 | Simplification by cooperating decision procedures – Nelson, Oppen - 1979 |
| 58 | On the complexity of integer programming – Papadimitriou - 1981 |
| 47 | A new correctness proof of the Nelson-Oppen combination procedure – Tinelli, Harandi - 1996 |
| 8 | Combining sets with integers – Zarba - 2002 |
| 6 | Combining lists with integers – Zarba - 2001 |
