Picture for Adalat Jabrayilov

Adalat Jabrayilov

SAT Encoding of Partial Ordering Models for Graph Coloring Problems

Add code
Mar 23, 2024
Viaarxiv icon