Yacine Izza, Alexey Ignatiev, Peter J. Stuckey, Joo Marques-Silva
Browse the full AAAI paper archive.