Matches in SemOpenAlex for { <https://semopenalex.org/work/W46046545> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W46046545 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 underinvestigated variety intermediate between loops and groups. Automated reasoning techniques, particularly those of propositional satisfiability (SAT) and finite domain (FD) constraint satisfaction, are obviously applicable to the problem of enumerating small algebraic structures, and so should standardly be used to answer existence questions at least concerning very small cases. In this paper, we report on an investigation of IP loops, a variety intermediate between loops and groups which has been known for many years but to our knowledge never explored in much detail. We used FINDER [Sla94] to enumerate all IP loops up to order 13, and the commutative ones of order 14, and obtained a number of new results prompted by observation of these algebras. The numbers of algebras were reported in a recent note [AS08] and the full list of small IP loops is freely available online [SA07]." @default.
- W46046545 created "2016-06-24" @default.
- W46046545 creator A5036256766 @default.
- W46046545 creator A5060616581 @default.
- W46046545 date "2008-01-01" @default.
- W46046545 modified "2023-10-18" @default.
- W46046545 title "Generating loops with the inverse property" @default.
- W46046545 cites W1502527706 @default.
- W46046545 cites W1524104002 @default.
- W46046545 cites W1524949188 @default.
- W46046545 cites W1585537805 @default.
- W46046545 cites W1589464585 @default.
- W46046545 cites W1603344051 @default.
- W46046545 cites W1607806544 @default.
- W46046545 cites W1826979233 @default.
- W46046545 cites W1924552249 @default.
- W46046545 cites W2033561430 @default.
- W46046545 cites W2076862903 @default.
- W46046545 cites W2092775861 @default.
- W46046545 cites W2107062658 @default.
- W46046545 cites W2154750111 @default.
- W46046545 cites W2199058998 @default.
- W46046545 cites W22657303 @default.
- W46046545 hasPublicationYear "2008" @default.
- W46046545 type Work @default.
- W46046545 sameAs 46046545 @default.
- W46046545 citedByCount "2" @default.
- W46046545 countsByYear W460465452014 @default.
- W46046545 crossrefType "journal-article" @default.
- W46046545 hasAuthorship W46046545A5036256766 @default.
- W46046545 hasAuthorship W46046545A5060616581 @default.
- W46046545 hasConcept C10138342 @default.
- W46046545 hasConcept C105795698 @default.
- W46046545 hasConcept C111472728 @default.
- W46046545 hasConcept C114614502 @default.
- W46046545 hasConcept C118615104 @default.
- W46046545 hasConcept C134306372 @default.
- W46046545 hasConcept C136197465 @default.
- W46046545 hasConcept C138885662 @default.
- W46046545 hasConcept C162324750 @default.
- W46046545 hasConcept C168773769 @default.
- W46046545 hasConcept C182306322 @default.
- W46046545 hasConcept C184670325 @default.
- W46046545 hasConcept C189950617 @default.
- W46046545 hasConcept C199622910 @default.
- W46046545 hasConcept C33923547 @default.
- W46046545 hasConcept C36503486 @default.
- W46046545 hasConcept C41008148 @default.
- W46046545 hasConcept C49937458 @default.
- W46046545 hasConcept C80444323 @default.
- W46046545 hasConceptScore W46046545C10138342 @default.
- W46046545 hasConceptScore W46046545C105795698 @default.
- W46046545 hasConceptScore W46046545C111472728 @default.
- W46046545 hasConceptScore W46046545C114614502 @default.
- W46046545 hasConceptScore W46046545C118615104 @default.
- W46046545 hasConceptScore W46046545C134306372 @default.
- W46046545 hasConceptScore W46046545C136197465 @default.
- W46046545 hasConceptScore W46046545C138885662 @default.
- W46046545 hasConceptScore W46046545C162324750 @default.
- W46046545 hasConceptScore W46046545C168773769 @default.
- W46046545 hasConceptScore W46046545C182306322 @default.
- W46046545 hasConceptScore W46046545C184670325 @default.
- W46046545 hasConceptScore W46046545C189950617 @default.
- W46046545 hasConceptScore W46046545C199622910 @default.
- W46046545 hasConceptScore W46046545C33923547 @default.
- W46046545 hasConceptScore W46046545C36503486 @default.
- W46046545 hasConceptScore W46046545C41008148 @default.
- W46046545 hasConceptScore W46046545C49937458 @default.
- W46046545 hasConceptScore W46046545C80444323 @default.
- W46046545 hasLocation W460465451 @default.
- W46046545 hasOpenAccess W46046545 @default.
- W46046545 hasPrimaryLocation W460465451 @default.
- W46046545 hasRelatedWork W1492288613 @default.
- W46046545 hasRelatedWork W1508119352 @default.
- W46046545 hasRelatedWork W1885962071 @default.
- W46046545 hasRelatedWork W1921028281 @default.
- W46046545 hasRelatedWork W2101592234 @default.
- W46046545 hasRelatedWork W2506657322 @default.
- W46046545 hasRelatedWork W2558199011 @default.
- W46046545 hasRelatedWork W2766935653 @default.
- W46046545 hasRelatedWork W2809698117 @default.
- W46046545 hasRelatedWork W2910952949 @default.
- W46046545 hasRelatedWork W2950165413 @default.
- W46046545 hasRelatedWork W2951424111 @default.
- W46046545 hasRelatedWork W2963584216 @default.
- W46046545 hasRelatedWork W3025671774 @default.
- W46046545 hasRelatedWork W3032707609 @default.
- W46046545 hasRelatedWork W3036465104 @default.
- W46046545 hasRelatedWork W3103518965 @default.
- W46046545 hasRelatedWork W99865627 @default.
- W46046545 hasRelatedWork W2100640479 @default.
- W46046545 hasRelatedWork W2561570369 @default.
- W46046545 isParatext "false" @default.
- W46046545 isRetracted "false" @default.
- W46046545 magId "46046545" @default.
- W46046545 workType "article" @default.