Solving Open Problems in Quasigroups by Propositional Reasoning

Zhang, H.H.ZhangHsiang, JiehJiehHsiangJIEH HSIANG2018-09-102018-09-101983-09http://ntur.lib.ntu.edu.tw/handle/246246/118725http://scholars.lib.ntu.edu.tw/handle/123456789/302837Solving Open Problems in Quasigroups by Propositional Reasoningconference paper