Generating loops with the inverse property

John Slaney; Asif Ali

Generating loops with the inverse property

John Slaney, Asif Ali

Research output: Contribution to journal › Conference article › peer-review

6 Citations (Scopus)

Abstract

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-investigated variety intermediate between loops and groups.

Original language	English
Pages (from-to)	55-66
Number of pages	12
Journal	CEUR Workshop Proceedings
Volume	378
Publication status	Published - 2008
Event	CICM Workshop on Empirically Successful Automated Reasoning in Mathematics, ESARM 2008 - Birmingham, United Kingdom Duration: 27 Jul 2008 → 27 Jul 2008

Cite this

@article{3b0af8e1ee864c5bbd47fd3e1d238b9f,

title = "Generating loops with the inverse property",

abstract = "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-investigated variety intermediate between loops and groups.",

author = "John Slaney and Asif Ali",

year = "2008",

language = "English",

volume = "378",

pages = "55--66",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "CICM Workshop on Empirically Successful Automated Reasoning in Mathematics, ESARM 2008 ; Conference date: 27-07-2008 Through 27-07-2008",

}

TY - JOUR

T1 - Generating loops with the inverse property

AU - Slaney, John

AU - Ali, Asif

PY - 2008

Y1 - 2008

N2 - 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-investigated variety intermediate between loops and groups.

AB - 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-investigated variety intermediate between loops and groups.

UR - http://www.scopus.com/inward/record.url?scp=84885215684&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84885215684

SN - 1613-0073

VL - 378

SP - 55

EP - 66

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

T2 - CICM Workshop on Empirically Successful Automated Reasoning in Mathematics, ESARM 2008

Y2 - 27 July 2008 through 27 July 2008

ER -

Generating loops with the inverse property

Abstract

Other files and links

Cite this