1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/604
DC FieldValueLanguage
dc.contributor.authorBanković, Milanen_US
dc.contributor.authorMarić, Filipen_US
dc.date.accessioned2022-08-13T15:50:05Z-
dc.date.available2022-08-13T15:50:05Z-
dc.date.issued2021-
dc.identifier.issn09257721en
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/604-
dc.description.abstractDonald Knuth introduced abstract CC systems to represent configurations of points in a plane with a given orientation (clockwise or counterclockwise) of all triples of points. We present efficient enumeration of all non-isomorphic CC systems with at most 12 points. Our algorithm is based on Faradžev-Read type enumeration, enhanced with the homomorphism principle and SAT solving, enabling us to enumerate more than 1.3⋅1012 non-isomorphic CC systems with 12 points.en_US
dc.language.isoenen_US
dc.publisherElsevieren_US
dc.relation.ispartofComputational Geometry: Theory and Applicationsen_US
dc.subjectCC systemsen_US
dc.subjectFaradžev-Read enumerationen_US
dc.subjectHomomorphism principleen_US
dc.subjectPoint triples orientationen_US
dc.subjectSAT solvingen_US
dc.titleFaradžev Read-type enumeration of non-isomorphic CC systemsen_US
dc.typeArticleen_US
dc.identifier.doi10.1016/j.comgeo.2021.101770-
dc.identifier.scopus2-s2.0-85103689609-
dc.identifier.isi000646234800006-
dc.identifier.urlhttps://api.elsevier.com/content/abstract/scopus_id/85103689609-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.relation.issn0925-7721en_US
dc.description.rankM23en_US
dc.relation.firstpageArticle no. 101770en_US
dc.relation.volume97en_US
item.openairetypeArticle-
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.grantfulltextnone-
item.languageiso639-1en-
item.cerifentitytypePublications-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0002-0517-6334-
crisitem.author.orcid0000-0001-7219-6960-
Appears in Collections:Research outputs
Show simple item record

Page view(s)

22
checked on Jan 19, 2025

Google ScholarTM

Check

Altmetric

Altmetric


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