Preface to the Special Issue on Automated Reasoning Systems

Armin Biere (1) , Cesare Tinelli (2) , Christoph Weidenbach (3, 4)

1 JKU - University of Linz - Johannes Kepler Universität Linz
2 Department of Computer Science [Iowa]
3 Max Planck Institute for Informatics [Saarbrücken]
4 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems

Domaines: Informatique [cs]

Armin Biere, Cesare Tinelli, Christoph Weidenbach. Preface to the Special Issue on Automated Reasoning Systems. Journal of Automated Reasoning, 2020, 64 (3), pp.361-362. ⟨10.1007/s10817-019-09531-1⟩. ⟨hal-03145431⟩