Adrian Balint
发表
Adrian Balint,
2014
.
Uwe Schöning,
Adrian Balint,
2016,
Algorithm Engineering.
Daniel Gall,
Adrian Balint,
Gregor Kapler,
2010,
J. Satisf. Boolean Model. Comput..
Marijn J. H. Heule,
Matti Järvisalo,
Adrian Balint,
2013
.
Uwe Schöning,
Adrian Balint,
U. Schöning,
2012,
SAT.
Daniel Gall,
Simon Gerber,
Adrian Balint,
2011,
LION.
Adrian Balint,
Andreas Fröhlich,
A. Balint,
2010,
SAT.
Adrian Balint,
Norbert Manthey,
2013,
POS@SAT.
Carsten Sinz,
Matti Järvisalo,
Adrian Balint,
2012
.
Matti Järvisalo,
Adrian Balint,
Anton Belov,
2012
.
Carsten Sinz,
Matti Järvisalo,
Adrian Balint,
2015,
Artif. Intell..
Marius Thomas Lindauer,
Kevin Leyton-Brown,
Holger H. Hoos,
2015,
Artif. Intell..
Adrian Balint,
Michael Henn,
Oliver Gableske,
2009,
SAT.
Marijn J. H. Heule,
Marijn Heule,
Edward A. Hirsch,
2019,
J. Satisf. Boolean Model. Comput..
Armin Biere,
Uwe Schöning,
Adrian Balint,
2014,
SAT.
Holger H. Hoos,
Adrian Balint,
Dave A. D. Tompkins,
2011,
SAT.