Buss, Sam

3 publications

AAAI 2018 MaxSAT Resolution with the Dual Rail Encoding Maria Luisa Bonet, Sam Buss, Alexey Ignatiev, João Marques-Silva, António Morgado

JAIR 2014 Improved Separations of Regular Resolution from Clause Learning Proof Systems Maria Luisa Bonet, Sam Buss, Jan Johannsen

IJCAI 2013 An Improved Separation of Regular Resolution from Pool Resolution and Clause Learning (Extended Abstract) Maria Luisa Bonet, Sam Buss