Skip navigation
Skip navigation

Generating loops with the inverse property

Slaney, John K; Ali, Asif

Description

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 o

CollectionsANU Research Publications
Date published: 2008
Type: Conference paper
URI: http://hdl.handle.net/1885/56057
Source: Proceedings of Empirically Successful Automated Reasoning in Mathematics (ESARM 2008)

Download

File Description SizeFormat Image
01_Slaney_Generating_loops_with_the_2008.pdf140.52 kBAdobe PDF    Request a copy


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  23 August 2018/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator