Preface to the Special Issue on Automated Reasoning Systems
Crossref DOI link: https://doi.org/10.1007/s10817-019-09531-1
Published Online: 2019-08-13
Published Print: 2020-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Biere, Armin
Tinelli, Cesare
Weidenbach, Christoph http://orcid.org/0000-0001-6002-0458
Text and Data Mining valid from 2019-08-13
Version of Record valid from 2019-08-13
Article History
Received: 29 July 2019
Accepted: 2 August 2019
First Online: 13 August 2019
Free to read: This content has been made available to all.