ZetaSAT

swMATH11459MaRDI QIDQ23401FDOQ23401

Author name not available (Why is that?)

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

Cited In (13)

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

This page was built for software: ZetaSAT