(LIA) - Model Evolution with Linear Integer Arithmetic Constraints
From MaRDI portal
Publication:5505559
DOI10.1007/978-3-540-89439-1_19zbMath1182.03033MaRDI QIDQ5505559
Peter Baumgartner, Cesare Tinelli, Alexander Fuchs
Publication date: 27 January 2009
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_19
DB lookup for MSC labels failed