ZetaSAT

swMATH11459MaRDI QIDQ23401FDOQ23401

scientific article; zbMATH DE number Author name (Why is no real title available?)

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

Cited In (16)

• 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
• c-sat
• GridLab
• GridSAT
• GrADS
• PaQuBE
• GrADSAT
• XMPP
• GridJM
• NAGSAT
• Picoso
• PMSat
• BOINC
• An overview of parallel SAT solving

This page was built for software: ZetaSAT