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

Parallel Satisfiability

  • Author:

    Tomás Balyo, Carsten Sinz
  • Source:

    Handbook of Parallel Constraint Reasoning 2018: 3-29