Generating Loops with the Inverse Property

CICM Workshop on Empirically Successful Automated Reasoning in Mathematics

计算机科学;数学

John Slaney ; Asif Ali

Others  :  http://CEUR-WS.org/Vol-378/paper4.pdf
PID  :  46690

学科分类：计算机科学（综合）

来源: CEUR

【 摘 要 】

This is an investigation in the tradition of Fujita et al (IJCAI 1993), Zhang et al (JSC 1996), Dubois and Dequen (CP 2001) in which CP or SAT techniques are used to answer existence questions concerning small algebras. In this paper, we open the attack on IP loops, an interesting and under-investigatedvariety intermediate between loops and groups.