NAGSAT

MaRDI QIDQ23395swMATHFDO

Official website http://www.researchgate.net/publication/2494539_NAGSAT_A_Randomized_Complete_Parallel_Solver_for_3-SAT

Cited in

(12)

• An optimal multiprocessor combinatorial auction solver
• GridSAT: Design and implementation of a computational grid application
• GridLab
• GridSAT
• GrADS
• PaQuBE
• GrADSAT
• Picoso
• PMiniSAT
• ZetaSAT
• PaMira
• An overview of parallel SAT solving

This page was built for software: NAGSAT