Glauber De Bona

Department of Computer Science , Institute of Mathematics and Statistics University of São Paulo , Brazil

1 paper in the IJCAI proceedings

IJCAI 2011

Probabilistic Satisfiability: Logic-Based Algorithms and Phase Transition

with Marcelo Finger

doi:10.5591/978-1-57735-516-8/IJCAI11-096

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings