@book{
180-019934593,
title = {Big data analytics and knowledge discovery: 22nd International Conference, DaWaK 2020, Bratislava, Slovakia, September 14-17, 2020, Proceedings},
series = {},
series = {v.12393},
author = {Song, Min and Song, Il-Yeol. and Kotsis, Gabriele and Tjoa, A Min. and Khalil, Ismail},
editor = {Song, Min (Computer scientist)},
editor = {Song, Il-Yeol.},
editor = {Kotsis, Gabriele},
editor = {Tjoa, A Min.},
editor = {Khalil, Ismail},
address = {Cham, Switzerland},
publisher = {Springer},
year = {2020},
isbn = {9783030590659},
isbn = {3030590658},
language = {English},
note = {2.2 Propositional Logic and SAT Problem},
url = {https://katalog.fid-bbi.de/Record/180-019934593}
}