MapleSAT
From MaRDI portal
Software:37651
No author found.
Related Items (2)
An empirical study of branching heuristics through the lens of global learning rate ⋮ On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$
This page was built for software: MapleSAT
