MapleSAT

swMATH25918MaRDI QIDQ37651FDOQ37651

Author name not available (Why is that?)

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