Belov, Anton

2 publications

IJCAI 2013 On Computing Minimal Correction Subsets João Marques-Silva, Federico Heras, Mikolás Janota, Alessandro Previti, Anton Belov
IJCAI 2011 Depth-Driven Circuit-Level Stochastic Local Search for SAT Anton Belov, Matti Järvisalo, Zbigniew Stachniak