Vol-2752
urn:nbn:de:0074-2752-0




PAAR+SC-Square 2020
Practical Aspects of Automated Reasoning and Satisfiability Checking and Symbolic Computation Workshop 2020


Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020)

Paris, France, June-July, 2020 (Virtual).


Edited by

Pascal Fontaine *
Konstantin Korovin **
Ilias S. Kotsireas ***
Philipp Rümmer ****
Sophie Tourret *****

* University of Liège, Faculty of Applied Sciences, Liège, Belgium
** The University of Manchester, School of Computer Science, Manchester, UK
*** Wilfrid Laurier University, Department of Physics and Computer Science, Waterloo, Canada
**** Uppsala University, Department of Information Technology, Uppsala, Sweden
***** Max Planck Institute for Informatics, Saarbrücken, Germany





Table of Contents

Workshop on Practical Aspects of Automated Reasoning 2020

Satisfiability Checking and Symbolic Computation Workshop 2020


2020-11-18: submitted by Pascal Fontaine metadata incl. bibliographic data published under Creative Commons CC0
2020-11-26: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|