Laura Kovács

  joint publications with Armin Biere

Publications

Schloss Dagstuhl LZI