Artur Niewiadomski, Piotr Switalski, Teofil Sidoruk, Wojciech Penczek. SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME. Sci. Ann. Cuza Univ., 28(2):269-288, 2018. [doi]
@article{NiewiadomskiSSP18,
title = {SMT-Solvers in Action: Encoding and Solving Selected Problems in NP and EXPTIME},
author = {Artur Niewiadomski and Piotr Switalski and Teofil Sidoruk and Wojciech Penczek},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2&a=4},
researchr = {https://researchr.org/publication/NiewiadomskiSSP18},
cites = {0},
citedby = {0},
journal = {Sci. Ann. Cuza Univ.},
volume = {28},
number = {2},
pages = {269-288},
}