Parallel Satisfiability

  • Author:

    Tomás Balyo, Carsten Sinz
  • Source:

    Handbook of Parallel Constraint Reasoning 2018: 3-29