Filipe Casal

CMAF-CIO , Portugal DMath ,; Instituto Superior Técnico Universidade de Lisboa , Portugal

1 paper in the IJCAI proceedings

IJCAI 2017

Classical Generalized Probabilistic Satisfiability

with Carlos Caleiro, Andreia Mordido

doi:10.24963/ijcai.2017/126

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings