{"id":"https://openalex.org/W3030478919","doi":"https://doi.org/10.29007/k8jd","title":"Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation","display_name":"Finding Periodic Apartments via Boolean Satisfiability and Orderly Generation","publication_year":2020,"publication_date":"2020-05-27","ids":{"openalex":"https://openalex.org/W3030478919","doi":"https://doi.org/10.29007/k8jd","mag":"3030478919"},"language":"en","primary_location":{"id":"doi:10.29007/k8jd","is_oa":true,"landing_page_url":"https://doi.org/10.29007/k8jd","pdf_url":"https://easychair.org/publications/open/H5Tb","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/H5Tb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041125721","display_name":"Jarkko Savela","orcid":null},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":true,"raw_author_name":"Jarkko Savela","raw_affiliation_strings":["Department of Computer Science, University of Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039712529","display_name":"Emilia Oikarinen","orcid":"https://orcid.org/0000-0002-9623-6282"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Emilia Oikarinen","raw_affiliation_strings":["Department of Computer Science, University of Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081120128","display_name":"Matti J\u0084\u00e4rvisalo","orcid":"https://orcid.org/0000-0003-2572-063X"},"institutions":[{"id":"https://openalex.org/I133731052","display_name":"University of Helsinki","ror":"https://ror.org/040af2s02","country_code":"FI","type":"education","lineage":["https://openalex.org/I133731052"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Matti J\u00e4rvisalo","raw_affiliation_strings":["Department of Computer Science, University of Helsinki, Finland"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Helsinki, Finland","institution_ids":["https://openalex.org/I133731052"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5041125721"],"corresponding_institution_ids":["https://openalex.org/I133731052"],"apc_list":null,"apc_paid":null,"fwci":0.2814,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6076328,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9896000027656555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11567","display_name":"semigroups and automata theory","score":0.9896000027656555,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10304","display_name":"Geometric and Algebraic Topology","score":0.9779000282287598,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.9251999855041504,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.8605843782424927},{"id":"https://openalex.org/keywords/conjecture","display_name":"Conjecture","score":0.7856042385101318},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.6665148138999939},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6317607164382935},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5430630445480347},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5330466032028198},{"id":"https://openalex.org/keywords/group","display_name":"Group (periodic table)","score":0.47520527243614197},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4659688472747803},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4058193862438202},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2702569365501404}],"concepts":[{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.8605843782424927},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7856042385101318},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.6665148138999939},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6317607164382935},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5430630445480347},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5330466032028198},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.47520527243614197},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4659688472747803},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4058193862438202},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2702569365501404},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/k8jd","is_oa":true,"landing_page_url":"https://doi.org/10.29007/k8jd","pdf_url":"https://easychair.org/publications/open/H5Tb","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:helda.helsinki.fi:10138/318501","is_oa":true,"landing_page_url":"http://hdl.handle.net/10138/318501","pdf_url":"http://hdl.handle.net/10138/318501","source":{"id":"https://openalex.org/S4210213322","display_name":"Ty\u00f6v\u00e4entutkimus Vuosikirja","issn_l":"0784-1272","issn":["0784-1272","1459-7780"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference contribution"}],"best_oa_location":{"id":"doi:10.29007/k8jd","is_oa":true,"landing_page_url":"https://doi.org/10.29007/k8jd","pdf_url":"https://easychair.org/publications/open/H5Tb","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.6499999761581421}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3030478919.pdf","grobid_xml":"https://content.openalex.org/works/W3030478919.grobid-xml"},"referenced_works_count":34,"referenced_works":["https://openalex.org/W1516278578","https://openalex.org/W1522816367","https://openalex.org/W1585305433","https://openalex.org/W1769070222","https://openalex.org/W1864307150","https://openalex.org/W1974672137","https://openalex.org/W1991151109","https://openalex.org/W1993909257","https://openalex.org/W2044735350","https://openalex.org/W2070896309","https://openalex.org/W2079569602","https://openalex.org/W2116274133","https://openalex.org/W2119823023","https://openalex.org/W2130119884","https://openalex.org/W2137401377","https://openalex.org/W2167913911","https://openalex.org/W2295478828","https://openalex.org/W2337207306","https://openalex.org/W2345876752","https://openalex.org/W2402691386","https://openalex.org/W2415170901","https://openalex.org/W2524512437","https://openalex.org/W2787389506","https://openalex.org/W2809729522","https://openalex.org/W2949386401","https://openalex.org/W2964350858","https://openalex.org/W3038905491","https://openalex.org/W3106143264","https://openalex.org/W3106403092","https://openalex.org/W3106437626","https://openalex.org/W3136440969","https://openalex.org/W4206807714","https://openalex.org/W4246403490","https://openalex.org/W4251491212"],"related_works":["https://openalex.org/W4309222106","https://openalex.org/W2012590989","https://openalex.org/W4385681624","https://openalex.org/W4240581084","https://openalex.org/W2952569802","https://openalex.org/W2049141591","https://openalex.org/W2950489642","https://openalex.org/W1734188852","https://openalex.org/W4297939726","https://openalex.org/W4298858221"],"abstract_inverted_index":{"Motivated":[0],"by":[1],"Gromov\u2019s":[2],"subgroup":[3],"conjecture":[4,9],"(GSC),":[5],"a":[6,34,61,125],"fundamental":[7],"open":[8],"in":[10],"the":[11,19,22,75,81,108],"area":[12],"of":[13,21,24,28,37,58,64,69,80],"geometric":[14],"group":[15],"theory,":[16],"we":[17],"tackle":[18,107],"problem":[20,49,109],"existence":[23,68],"partic-":[25],"ular":[26],"types":[27,57],"subgroups\u2014arising":[29],"from":[30,124],"so-called":[31],"periodic":[32,70],"apartments\u2014for":[33],"specific":[35,56],"set":[36],"hyperbolic":[38],"groups":[39,76,139],"with":[40,60],"respect":[41],"to":[42,53,85,103,106,144],"which":[43],"GSC":[44],"is":[45,50],"currently":[46],"open.":[47],"This":[48],"equiv-":[51],"alent":[52],"determining":[54],"whether":[55],"graphs":[59],"non-trivial":[62],"combination":[63],"properties":[65],"exist.":[66],"The":[67],"apartments":[71],"allows":[72,119],"for":[73,120,129],"ruling":[74,136],"out":[77,137,140],"as":[78,133,135,141],"some":[79],"remaining":[82],"potential":[83,142],"counterexamples":[84,143],"GSC.":[86,145],"Our":[87],"approach":[88,114],"combines":[89],"both":[90,121],"automated":[91],"reasoning":[92],"techniques\u2014in":[93],"particular,":[94],"Boolean":[95],"satisfiability":[96],"(SAT)":[97],"solving\u2014with":[98],"problem-specific":[99],"orderly":[100],"generation.":[101],"Compared":[102],"earlier":[104],"attempts":[105],"through":[110],"computational":[111,127],"means,":[112],"our":[113],"scales":[115],"noticeably":[116],"better,":[117],"and":[118],"confirming":[122],"results":[123],"previous":[126],"treatment":[128],"smaller":[130],"parameter":[131],"values":[132],"well":[134],"further":[138]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}