Automatic parallel SAT solving using MTSS

Pascal Vander-Swalmen (1, 2) , Michaël Krajecki (1) , Gilles Dequen (2)

1 CRESTIC - Centre de Recherche en Sciences et Technologies de l'Information et de la Communication - EA 3804
2 MIS - Modélisation, Information et Systèmes - UR UPJV 4290

no abstract

Domaines: Intelligence artificielle [cs.AI]; Calcul parallèle, distribué et partagé [cs.DC]

Pascal Vander-Swalmen, Michaël Krajecki, Gilles Dequen. Automatic parallel SAT solving using MTSS. HPCS, 2009, Germany. pp.176--177, ⟨10.1109/HPCSIM.2009.5191794⟩. ⟨hal-00846959⟩