PMSat

MaRDI QIDQ23396swMATHFDO

Official website http://jsat.ewi.tudelft.nl/content/volume6/JSAT6_5_Gil.pdf

Cited in

(15)

• scientific article; zbMATH DE number 5613972 (Why is no real title available?)
• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• HordeSat: a massively parallel portfolio SAT solver
• c-sat
• GridSAT
• PaMiraXT
• PaQuBE
• antom
• NAGSAT
• Picoso
• PMiniSAT
• ZetaSAT
• OKlibrary
• PaMira
• An overview of parallel SAT solving

This page was built for software: PMSat