Robert Retz
发表
Daniel Gall,
Adrian Balint,
Gregor Kapler,
2010,
J. Satisf. Boolean Model. Comput..
Daniel Gall,
Simon Gerber,
Adrian Balint,
2011,
LION.
Friedhelm Schwenker,
Robert Retz,
2014,
ECDA.