{"id":"https://openalex.org/W4389217659","doi":"https://doi.org/10.48550/arxiv.2311.17581","title":"Composable Constraint Models for Permutation Enumeration","display_name":"Composable Constraint Models for Permutation Enumeration","publication_year":2023,"publication_date":"2023-11-29","ids":{"openalex":"https://openalex.org/W4389217659","doi":"https://doi.org/10.48550/arxiv.2311.17581"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2311.17581","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.17581","pdf_url":"https://arxiv.org/pdf/2311.17581","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2311.17581","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049188617","display_name":"R. Hoffmann","orcid":"https://orcid.org/0000-0002-1011-5894"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Hoffmann, Ruth","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067041446","display_name":"\u00d6zg\u00fcr Akg\u00fcn","orcid":"https://orcid.org/0000-0001-9519-938X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Akg\u00fcn, \u00d6zg\u00fcr","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5064139739","display_name":"Christopher Jefferson","orcid":"https://orcid.org/0000-0003-2979-5989"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jefferson, Christopher","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049188617"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9919000267982483,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12119","display_name":"Linguistics and Discourse Analysis","score":0.9423999786376953,"subfield":{"id":"https://openalex.org/subfields/1211","display_name":"Philosophy"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.882743239402771},{"id":"https://openalex.org/keywords/enumeration","display_name":"Enumeration","score":0.7197247743606567},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.5553459525108337},{"id":"https://openalex.org/keywords/permutation-graph","display_name":"Permutation graph","score":0.5327133536338806},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.49250277876853943},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.45254963636398315},{"id":"https://openalex.org/keywords/random-permutation","display_name":"Random permutation","score":0.4408303201198578},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43492555618286133},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4196644425392151},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.38612309098243713},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38467150926589966},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3636627793312073},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3330147862434387},{"id":"https://openalex.org/keywords/symmetric-group","display_name":"Symmetric group","score":0.13021540641784668},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09506025910377502}],"concepts":[{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.882743239402771},{"id":"https://openalex.org/C156340839","wikidata":"https://www.wikidata.org/wiki/Q2704791","display_name":"Enumeration","level":2,"score":0.7197247743606567},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5553459525108337},{"id":"https://openalex.org/C68965932","wikidata":"https://www.wikidata.org/wiki/Q7169369","display_name":"Permutation graph","level":3,"score":0.5327133536338806},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49250277876853943},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.45254963636398315},{"id":"https://openalex.org/C200985842","wikidata":"https://www.wikidata.org/wiki/Q3375503","display_name":"Random permutation","level":3,"score":0.4408303201198578},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43492555618286133},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4196644425392151},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.38612309098243713},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38467150926589966},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3636627793312073},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3330147862434387},{"id":"https://openalex.org/C128622974","wikidata":"https://www.wikidata.org/wiki/Q849512","display_name":"Symmetric group","level":2,"score":0.13021540641784668},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09506025910377502},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2311.17581","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.17581","pdf_url":"https://arxiv.org/pdf/2311.17581","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2311.17581","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2311.17581","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2311.17581","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2311.17581","pdf_url":"https://arxiv.org/pdf/2311.17581","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4389217659.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2952598754","https://openalex.org/W2143566611","https://openalex.org/W1887300513","https://openalex.org/W4312051210","https://openalex.org/W4297729179","https://openalex.org/W2533058927","https://openalex.org/W2391050754","https://openalex.org/W3133549692","https://openalex.org/W1998320900","https://openalex.org/W2917426586"],"abstract_inverted_index":{"Constraint":[0],"programming":[1,175],"(CP)":[2],"is":[3,27,234],"a":[4,76,164,193,213,235,240],"powerful":[5],"tool":[6,48],"for":[7,49,137,176,192,225],"modeling":[8],"mathematical":[9],"concepts":[10],"and":[11,13,63,68,93,113,122,135,151,166,185,223],"objects":[12],"finding":[14],"both":[15],"solutions":[16],"or":[17,34],"counter":[18],"examples.":[19],"One":[20],"of":[21,25,79,90,99,106,115,173,198,209,216,220,247],"the":[22,87,96,104,111,127,138,171,188,196,207,226,231,244],"major":[23],"strengths":[24],"CP":[26,45,67],"that":[28,41,143,229],"problems":[29,51,162],"can":[30,147,183],"easily":[31,150,184],"be":[32,149],"combined":[33],"expanded.":[35],"In":[36,130],"this":[37,42,71,84,203],"paper,":[38],"we":[39,141,182,205],"illustrate":[40],"versatility":[43],"makes":[44],"an":[46],"ideal":[47],"exploring":[50],"in":[52,163,230],"permutation":[53,58,60,117,120,160,177,190],"patterns.":[54],"We":[55,81,102,169],"declaratively":[56],"define":[57],"properties,":[59],"pattern":[61,161,236],"avoidance":[62,114],"containment":[64,112],"constraints":[65,146],"using":[66],"show":[69,82,142,224],"how":[70,83,181],"allows":[72,95],"us":[73],"to":[74,132,158,218],"solve":[75],"wide":[77],"range":[78],"problems.":[80],"approach":[85,155],"enables":[86,156],"arbitrary":[88,144],"composition":[89],"these":[91],"conditions,":[92],"also":[94,148],"easy":[97],"addition":[98,131],"extra":[100],"conditions.":[101],"demonstrate":[103,170],"effectiveness":[105],"our":[107],"techniques":[108],"by":[109,179],"modelling":[110],"six":[116],"patterns,":[118],"eight":[119],"properties":[121,134],"measuring":[123],"five":[124],"statistics":[125,136],"on":[126,243],"resulting":[128],"permutations.":[129,201],"calculating":[133],"generated":[139],"permutations,":[140],"additional":[145],"efficiently":[152,186],"added.":[153],"This":[154],"mathematicians":[157],"investigate":[159],"quick":[165],"efficient":[167],"manner.":[168],"utility":[172],"constraint":[174],"patterns":[178],"showing":[180],"extend":[187],"known":[189],"counts":[191],"conjecture":[194],"involving":[195],"class":[197],"$1324$":[199],"avoiding":[200],"For":[202],"problem,":[204],"expand":[206],"enumeration":[208,232],"$1324$-avoiding":[210],"permutations":[211,219],"with":[212],"fixed":[214],"number":[215],"inversions":[217],"length":[221],"16":[222],"first":[227],"time":[228],"there":[233],"occurring":[237],"which":[238],"follows":[239],"unique":[241],"sequence":[242],"Online":[245],"Encyclopedia":[246],"Integer":[248],"Sequences.":[249]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}