Category: ALP ISSUE

An Arboriculture Approach for Parallel SMT and Symbolic Model Checking

by M. Marescotti, A.E.J. Hyvärinen, N. SharyginaFormal Verification and Security LabUniversità della Svizzera ItalianaSwitzerland FULL PAPER Abstract: The inherent complexity of parallel computing makes development, resource monitoring, and debugging for parallel constraint-solving-based applications difficult. This paper presents SMTS, a framework for parallelizing sequential constraint…

PhD positions in Bath (UK)

At least 10 fully-funded studentships are available now and annually for the next five years at the UKRI Centre for Doctoral Training in Accountable, Responsible and Transparent AI (ART-AI) at the University of Bath. Our 4 year PhD programme will…

Workshop Report: TAASP 2018

Workshop Report: Trends and Applications of Answer Set Programming  (TAASP) 2018 By Stefan Woltran, TUWIEN, Austria The TAASP workshop series is jointly organized by research groups at Alpen-Adria-Universität  Klagenfurt, Technische Universität Wien, and Universität Potsdam. TAASP 2018 was the second…