SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME
-
Published:2018-09-25
Issue:2
Volume:2018
Page:269-288
-
ISSN:2248-2695
-
Container-title:Scientific Annals of Computer Science
-
language:
-
Short-container-title:SACS
Author:
Niewiadomski Artur, ,Switalski Piotr,Sidoruk Teofil,Penczek Wojciech, , ,
Publisher
Scientific Annals of Computer Science
Subject
Applied Mathematics,General Computer Science