Please use this identifier to cite or link to this item:
https://research.matf.bg.ac.rs/handle/123456789/604| Title: | Faradžev Read-type enumeration of non-isomorphic CC systems | Authors: | Banković, Milan Marić, Filip |
Affiliations: | Informatics and Computer Science | Keywords: | CC systems;Faradžev-Read enumeration;Homomorphism principle;Point triples orientation;SAT solving | Issue Date: | 2021 | Rank: | M23 | Journal: | Computational Geometry: Theory and Applications | Abstract: | Donald 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. |
URI: | https://research.matf.bg.ac.rs/handle/123456789/604 | ISSN: | 09257721 | DOI: | 10.1016/j.comgeo.2021.101770 |
| Appears in Collections: | Research outputs |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.