PMSat

swMATH11454MaRDI QIDQ23396FDOQ23396

Author name not available (Why is that?)

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

Cited In (13)

• On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
• HordeSat: a massively parallel portfolio SAT solver
• PaMiraXT
• PaQuBE
• antom
• NAGSAT
• Picoso
• PMiniSAT
• ZetaSAT
• OKlibrary
• An overview of parallel SAT solving
• PaMira
• Title not available (Why is that?)

This page was built for software: PMSat