GrADSAT

MaRDI QIDQ19327swMATHFDO

Official website http://link.springer.com/article/10.1007%2Fs10723-006-9042-8

Described by source

• GridSAT: Design and implementation of a computational grid application

Cited in

(9)

• HordeSat: a massively parallel portfolio SAT solver
• c-sat
• GridLab
• GridSAT
• GrADS
• MicroGrid
• NAGSAT
• PMSat
• ZetaSAT

This page was built for software: GrADSAT