Author:
Liu Minghao,Han Rui,Jia Fuqi,Huang Pei,Ma Feifei,Zhang Hantao,Zhang Jian
Publisher
Springer Nature Singapore
Reference31 articles.
1. Abel, R.J.R., Li, Y.: Some constructions for T pairwise orthogonal diagonal Latin squares based on difference matrices. Discrete Math. 338, 593–607 (2015)
2. Aloul, F.A., Markov, I.L., Sakallah, K.A.: Shatter: efficient symmetry-breaking for Boolean satisfiability. In: DAC, pp. 836–839 (2003)
3. Bennett, F.E.: The spectra of a variety of quasigroups and related combinatorial designs. Discrete Math. 77, 29–50 (1989)
4. Biere, A., Fazekas, K., Fleury, M., Heisinger, M.: CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT competition 2020. In: Proceedings of SAT Competition 2020 - Solver and Benchmark Descriptions (2020)
5. Bright, C., Cheung, K.K., Stevens, B., Kotsireas, I., Ganesh, V.: A SAT-based resolution of Lam’s problem. In: AAAI (2021)