MapleSAT

MaRDI QIDQ37651swMATHFDO

Official website https://maplesat.github.io/

Cited in

(2)

• On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$
• An empirical study of branching heuristics through the lens of global learning rate

This page was built for software: MapleSAT