A. Belov
发表
A. Belov,
2008
.
A. Belov,
M. Järvisalo,
2010
.
Mikolás Janota,
Inês Lynce,
Joao Marques-Silva,
2014,
Artif. Intell..
Mikolás Janota,
Joao Marques-Silva,
Federico Heras,
2022
.
Marijn J. H. Heule,
Matti Järvisalo,
Adrian Balint,
2013
.
Inês Lynce,
Joao Marques-Silva,
Anton Belov,
2012,
AI Commun..
Mikolás Janota,
Joao Marques-Silva,
Anton Belov,
2013,
CAV.
Joao Marques-Silva,
Alan Mishchenko,
Huan Chen,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Joao Marques-Silva,
Arie Matsliah,
Alexander Ivrii,
2012,
SAT.
S. Whiteley,
J. Kawa,
N. Yoshikawa,
2023,
IEEE Transactions on Applied Superconductivity.
Joao Marques-Silva,
Anton Belov,
Joao Marques-Silva,
2012,
J. Satisf. Boolean Model. Comput..
Carsten Sinz,
Matti Järvisalo,
Adrian Balint,
2015,
Artif. Intell..
Marijn J. H. Heule,
Marijn Heule,
Edward A. Hirsch,
2019,
J. Satisf. Boolean Model. Comput..
Arie Gurfinkel,
Alexander Ivrii,
Anton Belov,
2014,
2014 Formal Methods in Computer-Aided Design (FMCAD).
Arie Gurfinkel,
Anton Belov,
A. Gurfinkel,
2014,
TACAS.
Joao Marques-Silva,
Arie Gurfinkel,
Anton Belov,
2014,
TACAS.