ZetaSAT

swMATH11459MaRDI QIDQ23401FDOQ23401

Author name not available (Why is that?)

Cited In (4)

• GridSAT: Design and implementation of a computational grid application
• Strategies for Solving SAT in Grids by Randomized Search
• HordeSat: A Massively Parallel Portfolio SAT Solver
• An overview of parallel SAT solving

This page was built for software: ZetaSAT