{"id":"https://openalex.org/W4403006777","doi":"https://doi.org/10.48550/arxiv.2408.10268","title":"Generating Streamlining Constraints with Large Language Models","display_name":"Generating Streamlining Constraints with Large Language Models","publication_year":2024,"publication_date":"2024-08-16","ids":{"openalex":"https://openalex.org/W4403006777","doi":"https://doi.org/10.48550/arxiv.2408.10268"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2408.10268","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.10268","pdf_url":"https://arxiv.org/pdf/2408.10268","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":null,"license_id":null,"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/2408.10268","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5107671946","display_name":"Florentina Voboril","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Voboril, Florentina","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033360656","display_name":"Vaidyanathan Peruvemba Ramaswamy","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ramaswamy, Vaidyanathan Peruvemba","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5037092803","display_name":"Stefan Szeider","orcid":"https://orcid.org/0000-0001-8994-1656"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Szeider, Stefan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":1,"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/T12031","display_name":"Speech and dialogue systems","score":0.9441999793052673,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12031","display_name":"Speech and dialogue systems","score":0.9441999793052673,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11622","display_name":"Maritime Navigation and Safety","score":0.9283000230789185,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11980","display_name":"Human Mobility and Location-Based Analysis","score":0.9262999892234802,"subfield":{"id":"https://openalex.org/subfields/3313","display_name":"Transportation"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5316634178161621},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.3538358509540558},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.34912174940109253},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.149093359708786}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5316634178161621},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3538358509540558},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.34912174940109253},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.149093359708786}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2408.10268","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.10268","pdf_url":"https://arxiv.org/pdf/2408.10268","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2408.10268","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2408.10268","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2408.10268","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2408.10268","pdf_url":"https://arxiv.org/pdf/2408.10268","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3098964846","display_name":"Structure Identification with SAT (STRIDES)","funder_award_id":"P36420","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G4125750076","display_name":null,"funder_award_id":"10.55776/COE12","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320334164","display_name":"Simons Institute for the Theory of Computing, University of California Berkeley","ror":null}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403006777.pdf","grobid_xml":"https://content.openalex.org/works/W4403006777.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"Streamlining":[0],"constraints":[1,32],"(or":[2],"streamliners,":[3],"for":[4,51,70],"short)":[5],"narrow":[6],"the":[7,11,40,55,64,87,95,100,114,120],"search":[8],"space,":[9],"enhancing":[10],"speed":[12],"and":[13,60,91,118],"feasibility":[14],"of":[15,42,94,116,126],"solving":[16],"complex":[17],"constraint":[18,57,76],"satisfaction":[19,77],"problems.":[20],"Traditionally,":[21],"streamliners":[22,50,117],"were":[23],"crafted":[24],"manually":[25],"or":[26],"generated":[27],"through":[28],"systematically":[29],"combined":[30],"atomic":[31],"with":[33,66],"high-effort":[34],"offline":[35],"testing.":[36],"Our":[37],"approach":[38],"utilizes":[39],"creativity":[41],"Large":[43],"Language":[44],"Models":[45],"(LLMs)":[46],"to":[47,63,89,97],"propose":[48,123],"effective":[49],"problems":[52],"specified":[53],"in":[54],"MiniZinc":[56],"programming":[58],"language":[59],"integrates":[61],"feedback":[62],"LLM":[65,104,121],"quick":[67],"empirical":[68],"tests":[69],"validation.":[71],"Evaluated":[72],"across":[73],"seven":[74],"diverse":[75],"problems,":[78],"our":[79],"method":[80],"achieves":[81],"substantial":[82],"runtime":[83],"reductions.":[84],"We":[85,106],"compare":[86],"results":[88,101],"obfuscated":[90],"disguised":[92],"variants":[93],"problem":[96],"see":[98],"whether":[99,109,119],"depend":[102],"on":[103],"memorization.":[105],"also":[107],"analyze":[108],"longer":[110],"off-line":[111],"runs":[112],"improve":[113],"quality":[115],"can":[122],"good":[124],"combinations":[125],"streamliners.":[127]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-06-12T08:23:45.883708","created_date":"2024-10-01T00:00:00"}