On computational methods for solving some open cases of the minimum queen domination problem.

Application Language(s): N/A

Programming Languages and Technologies: Python, C++, Gurobi, Unidom, CaDiCaL, March_cu, DRAT-trim, cake_lpr, PySAT, Z3, RoundingSat, OR-Tools, SageMath

Member(s): Taha Rostami, Curtis Bright

codes and more information (Not Available)