Decision procedures for flat array properties
From MaRDI portal
Publication:287272
DOI10.1007/s10817-015-9323-7zbMath1356.03049MaRDI QIDQ287272
Silvio Ghilardi, Francesco Alberti, Natasha Sharygina
Publication date: 26 May 2016
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: http://doc.rero.ch/record/331489/files/10817_2015_Article_9323.pdf
03B25: Decidability of theories and sets of sentences
03B35: Mechanization of proofs and logical operations
68P05: Data structures
Uses Software