Sam Buss

Deptartment of Mathematics University of California , San Diego La Jolla , California , USA

1 paper in the IJCAI proceedings

IJCAI 2013

An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract)

with Maria Luisa Bonet

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings