Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Endowed professorship for reliable software systems in the automotive industry
Publications

SAT Race 2015

  • Author:

    Tomás Balyo, Armin Biere, Markus Iser, Carsten Sinz
  • Source:

    Artificial Intelligence, Volume 241: 45-65