Carlos Caleiro

SQIG -Instituto de Telecomunicac ¸ões DMath , Instituto Superior Técnico Universidade de Lisboa , Portugal

1 paper in the IJCAI proceedings

IJCAI 2017

Classical Generalized Probabilistic Satisfiability

with Filipe Casal, Andreia Mordido

doi:10.24963/ijcai.2017/126

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings