GridJM

MaRDI QIDQ23402swMATHFDO

Official website http://users.ics.aalto.fi/aehyvari/gridjm/

Cited in

(2)

• ZetaSAT
• Strategies for Solving SAT in Grids by Randomized Search

This page was built for software: GridJM