Authors Search About

Vatshelle, Martin

1 publications

JAIR 2015 Solving #SAT and MAXSAT by Dynamic Programming Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy