Updating of these pages have been discontinued March 2000.
Plese use the New ASTEC Scientific Publication pages

Note also that the ASTEC report series has been discontinued in favour of
Technical reports from the Department of Information Technology

Internal Reports

Arndt Jonason,
Generation of arithmetic extra triples.
Logikkonsult NP AB, May 1996. ASTEC internal.

Herman Ågren,
Binding integer variables.
Logikkonsult NP AB, March 1996. ASTEC internal.

Herman Ågren,
Intersecting arithmetic bindings.
Logikkonsult NP AB, March 1996. ASTEC internal.

Arndt Jonason,
A Result on the U_n Formulas.
Logikkonsult NP AB, May 1996. ASTEC internal.

Gunnar Stålmarck,
The REDUCTIO Hardness of the U_n-formulas.
Logikkonsult NP AB, 1996. ASTEC internal.

Arne Borälv,
Formal Representation of AMPL Programs Using an Automatic Translator.
Logikkonsult NP AB, June 1996. ASTEC internal.

Mats Carlsson and Greger Ottosson,
Finite Domain Constraints in SICStus Prolog.