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