ISSN:
1573-0670
Keywords:
Theory unification
;
AC-unification
;
linear Diophantine equation
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract This note reports about the implementation of AC-unification algorithms, based on the variable-abstraction method of Stickel and on the constant-abstraction method of Livesey, Siekmann, and Herold. We give a set of 105 benchmark examples and compare execution times for implementations of the two approaches. This documents for other researchers what we consider to be the state-of-the-art performance for elementary AC-unification problems.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00297251