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

HordeSat: A Massively Parallel Portfolio SAT Solver

  • Author:

    Tomás Balyo, Peter Sanders, Carsten Sinz
  • Source:

    18th SAT 2015: Austin, TX, USA: 156-172