On SAT Solvers and Ramsey-type Numbers

MaRDI QIDQ6461871zbMATH OpenFDO

Authors Burcu Canakci, Robert Fleischman, William Gasarch, Nicole McNabb, Daniel Smolyak

Publication date 2 December 2023

This page was built for publication: On SAT Solvers and Ramsey-type Numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6461871)