@inproceedings{inproceedings4dbdfe8d,
title   = {Probably half true: probabilistic satisfiability over Łukasiewicz infinitely-valued logic},
author = {Finger, Marcelo and Preto, Sandro},
year = {2018},
doi = {10.1007/978-3-319-94205-6_14},
publisher = {Springer},
booktitle   = {International Joint Conference on Automated Reasoning - IJCAR}
}