SArTagnan

swMATH11451MaRDI QIDQ23393FDOQ23393

Author name not available (Why is that?)

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

Cited In (9)

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

This page was built for software: SArTagnan