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
dc.relation.ispartofComputational Geometry: Theory and Applicationsen
dc.subjectCC systemsen
dc.subjectFaradžev-Read enumerationen
dc.subjectHomomorphism principleen
dc.subjectPoint triples orientationen
dc.subjectSAT solvingen
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.urlhttps://api.elsevier.com/content/abstract/scopus_id/85103689609-
dc.contributor.affiliationInformatics and Computer Scienceen_US
dc.description.rankM23en_US
dc.relation.volume97en
item.fulltextNo Fulltext-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.openairetypeArticle-
crisitem.author.deptInformatics and Computer Science-
crisitem.author.orcid0000-0001-7219-6960-
Appears in Collections:Research outputs
Show simple item record

Page view(s)

21
checked on Dec 24, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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