ME(LIA) - Model evolution with linear integer arithmetic constraints

Citation

Baumgartner, P, Fuchs, A & Tinelli, C 2008, 'ME(LIA) - Model evolution with linear integer arithmetic constraints', International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2008), ed. I. Cervesato, H. Veith, A. Voronkov, Springer, Berlin, Germany, pp. 258-273.

Year

2008

ANU Authors

Field of Research

  • Mathematical Logic, Set Theory, Lattices And Universal Algebra

Updated:  20 September 2020 / Responsible Officer:  Director (Research Services Division) / Page Contact:  Researchers