Rado numbers and SAT computations
From MaRDI portal
Publication:6665769
DOI10.1145/3476446.3535494MaRDI QIDQ6665769FDOQ6665769
Authors: Yuan Chang, Jesús A. De Loera, William J. Wesley 
Publication date: 17 January 2025
This page was built for publication: Rado numbers and SAT computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6665769)
