NAGSAT

swMATH11453MaRDI QIDQ23395FDOQ23395

Author name not available (Why is that?)

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

Cited In (10)

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

This page was built for software: NAGSAT