Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie
Forschungsgruppe
Veröffentlichungen

Parallel Satisfiability

  • Autor:

    Tomás Balyo, Carsten Sinz
  • Quelle:

    Handbook of Parallel Constraint Reasoning 2018: 3-29