dblp keys for Anton Belov

Anton Belov

Keys

# of data records = 29

homepages/59/1724 journals/ai/BalintBJS15 journals/ai/BelovJLM14 conf/fmcad/IvriiGB14 conf/icinco/AlatartsevBNO14 conf/sat/BelovHM14 conf/tacas/GurfinkelBM14 conf/tacas/GurfinkelB14 conf/cav/Marques-SilvaJB13 conf/date/Belov0MM13 conf/ijcai/Marques-SilvaHJPB13 conf/lpar/BelovMM13 conf/sat/BelovMM13 conf/tacas/BelovJM13 journals/corr/BelovMM13 journals/aicom/BelovLM12 journals/jsat/BelovM12 conf/cp/BelovJLM12 conf/sat/BelovIMM12 journals/corr/abs-1207-1257 conf/fmcad/BelovM11 conf/ijcai/BelovJS11 conf/sat/BelovS11 journals/corr/abs-1109-2049 conf/sat/BelovS10 conf/sat/BelovS09 journals/jetai/StachniakB08 conf/sat/StachniakB08 conf/sat/BelovS05