This page shows all presentations of this author published in EasyChair Smart Slide.
On Dual-Rail Based MaxSAT Solving
Maria Lluïsa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva and Antonio Morgado