Publication citation
Русский
V.R. Svistunova
Comparison of encodings and optimization of parameters of SAT-solver in graph coloring problem
Conference material: "Academician O.B. Lupanov XIV International Scientific Seminar "Discrete Mathematics and Its Applications" (20-25 June 2022, Moscow)". Pages: 3 (p.198-200). Language: russian
Reference for DOI: 10.20948/dms-2022-61 not found in Crossref