Picoso

MaRDI QIDQ23397swMATHFDO

Official website https://ai2neu.inf.uni-bayreuth.de/~kalinnik/pub/picoso.pdf

Cited in

(6)

• PaQuBE
• antom
• NAGSAT
• PMiniSAT
• PaMira
• An overview of parallel SAT solving

This page was built for software: Picoso