Caleiro, Carlos

1 publications

IJCAI 2017 Classical Generalized Probabilistic Satisfiability Carlos Caleiro, Filipe Casal, Andreia Mordido