SArTagnan

MaRDI QIDQ23393swMATHFDO

Official website http://algo.inf.uni-tuebingen.de/mitarbeiter/stephankottler/downloads/KottlerKaufmann_SArTagnanAParallelPortfolioSATSolverWithLocklessPhysicalClauseSharing.pdf

Cited in

(11)

• c-sat
• PSATO
• PaQuBE
• Picoso
• PMiniSAT
• ppfolio
• Lazy clause exchange policy for parallel SAT solvers
• PaSAT
• CDCLSym
• Scranfilize
• An overview of parallel SAT solving

This page was built for software: SArTagnan