GrADSAT

swMATH7282MaRDI QIDQ19327FDOQ19327

Author name not available (Why is that?)

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 (6)

• HordeSat: a massively parallel portfolio SAT solver
• GrADS
• MicroGrid
• NAGSAT
• PMSat
• ZetaSAT

This page was built for software: GrADSAT