Armin Biere

Armin Biere
Johannes Kepler University, Linz, Austria

To be updated.