Robert Retz

发表

Daniel Gall, Adrian Balint, Gregor Kapler, 2010, J. Satisf. Boolean Model. Comput..

Friedhelm Schwenker, Robert Retz, 2014, ECDA.