Picoso

swMATH11455MaRDI QIDQ23397FDOQ23397

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: Picoso