ZetaSAT

MaRDI QIDQ23401swMATHFDO

Official website http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=1558680

Cited in

(16)

• Strategies for Solving SAT in Grids by Randomized Search
• GridSAT: Design and implementation of a computational grid application
• c-sat
• GridLab
• GridSAT
• GrADS
• PaQuBE
• GrADSAT
• XMPP
• GridJM
• NAGSAT
• Picoso
• PMSat
• BOINC
• HordeSat: a massively parallel portfolio SAT solver
• An overview of parallel SAT solving

This page was built for software: ZetaSAT