@mastersthesis{mastersthesis441d2378,
title   = {Semantics modulo satisfiability with applications: function representation, probabilities and game theory},
author = {Preto, Sandro Márcio da Silva and Finger, Marcelo},
year = {2021},
school = {Universidade de São Paulo}
}