{"id":"https://openalex.org/W2623418526","doi":"https://doi.org/10.1007/s10601-017-9270-5","title":"Auto-tabling for subproblem presolving in MiniZinc","display_name":"Auto-tabling for subproblem presolving in MiniZinc","publication_year":2017,"publication_date":"2017-06-06","ids":{"openalex":"https://openalex.org/W2623418526","doi":"https://doi.org/10.1007/s10601-017-9270-5","mag":"2623418526"},"language":"en","primary_location":{"id":"doi:10.1007/s10601-017-9270-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10601-017-9270-5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10601-017-9270-5.pdf","source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2Fs10601-017-9270-5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011124992","display_name":"Jip J. Dekker","orcid":"https://orcid.org/0000-0002-0053-6724"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":true,"raw_author_name":"Jip J. Dekker","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Uppsala, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048429510","display_name":"Gustav Bj\u00f6rdal","orcid":"https://orcid.org/0000-0002-8032-5774"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Gustav Bj\u00f6rdal","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Uppsala, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101792596","display_name":"Mats Carlsson","orcid":"https://orcid.org/0000-0003-3079-8095"},"institutions":[{"id":"https://openalex.org/I2800664555","display_name":"RISE Research Institutes of Sweden","ror":"https://ror.org/03nnxqz81","country_code":"SE","type":"other","lineage":["https://openalex.org/I2800664555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Mats Carlsson","raw_affiliation_strings":["RISE SICS AB, Kista, Sweden"],"raw_orcid":"https://orcid.org/0000-0003-3079-8095","affiliations":[{"raw_affiliation_string":"RISE SICS AB, Kista, Sweden","institution_ids":["https://openalex.org/I2800664555"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006736418","display_name":"Pierre Flener","orcid":"https://orcid.org/0000-0001-8730-4098"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Pierre Flener","raw_affiliation_strings":["Department of Information Technology, Uppsala University, Uppsala, Sweden"],"raw_orcid":"https://orcid.org/0000-0001-8730-4098","affiliations":[{"raw_affiliation_string":"Department of Information Technology, Uppsala University, Uppsala, Sweden","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080204969","display_name":"Jean-No\u00ebl Monette","orcid":"https://orcid.org/0000-0002-5734-5881"},"institutions":[{"id":"https://openalex.org/I4210108874","display_name":"Tacton Systems (Sweden)","ror":"https://ror.org/01zgavk21","country_code":"SE","type":"company","lineage":["https://openalex.org/I4210108874"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Jean-No\u00ebl Monette","raw_affiliation_strings":["Tacton Systems AB, Stockholm, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-5734-5881","affiliations":[{"raw_affiliation_string":"Tacton Systems AB, Stockholm, Sweden","institution_ids":["https://openalex.org/I4210108874"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5011124992"],"corresponding_institution_ids":["https://openalex.org/I123387679"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.7544,"has_fulltext":true,"cited_by_count":12,"citation_normalized_percentile":{"value":0.86770525,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"22","issue":"4","first_page":"512","last_page":"529"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9998000264167786,"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.9998000264167786,"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/T11106","display_name":"Data Management and Algorithms","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9921000003814697,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.741547167301178},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6568061709403992},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.6557074785232544},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.5554335713386536},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4718503952026367},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.13062185049057007},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12169268727302551}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.741547167301178},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6568061709403992},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.6557074785232544},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.5554335713386536},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4718503952026367},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.13062185049057007},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12169268727302551},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10601-017-9270-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10601-017-9270-5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10601-017-9270-5.pdf","source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s10601-017-9270-5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10601-017-9270-5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2Fs10601-017-9270-5.pdf","source":{"id":"https://openalex.org/S75534514","display_name":"Constraints","issn_l":"1383-7133","issn":["1383-7133","1572-9354"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Constraints","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320322581","display_name":"Vetenskapsr\u00e5det","ror":"https://ror.org/03zttf063"},{"id":"https://openalex.org/F4320324119","display_name":"Uppsala Universitet","ror":"https://ror.org/048a87296"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2623418526.pdf","grobid_xml":"https://content.openalex.org/works/W2623418526.grobid-xml"},"referenced_works_count":30,"referenced_works":["https://openalex.org/W23424325","https://openalex.org/W583840378","https://openalex.org/W1492357208","https://openalex.org/W1504520037","https://openalex.org/W1534902470","https://openalex.org/W1542034969","https://openalex.org/W1546998411","https://openalex.org/W1570886320","https://openalex.org/W1587379304","https://openalex.org/W1700954517","https://openalex.org/W1950282396","https://openalex.org/W1983909040","https://openalex.org/W2012741612","https://openalex.org/W2022275254","https://openalex.org/W2023005099","https://openalex.org/W2039916141","https://openalex.org/W2066265366","https://openalex.org/W2159875930","https://openalex.org/W2195564376","https://openalex.org/W2278850436","https://openalex.org/W2344300494","https://openalex.org/W2401450435","https://openalex.org/W2408095374","https://openalex.org/W2510061404","https://openalex.org/W2558063288","https://openalex.org/W2559959481","https://openalex.org/W6629576555","https://openalex.org/W6694716923","https://openalex.org/W6712766872","https://openalex.org/W6730081963"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2013037783","https://openalex.org/W2909413202","https://openalex.org/W4385243142","https://openalex.org/W1999008563","https://openalex.org/W2561644314","https://openalex.org/W2794118724","https://openalex.org/W2912135124","https://openalex.org/W4206450104","https://openalex.org/W4206329492"],"abstract_inverted_index":{"A":[0],"well-known":[1],"and":[2,21,96,112],"powerful":[3],"constraint":[4,19,27],"model":[5,14,31],"reformulation":[6,43],"is":[7,44,50,115],"to":[8,12,52,64,67,75,89],"compute":[9],"the":[10,34,59,72,77,94,97,106],"solutions":[11],"a":[13,17],"part,":[15],"say":[16],"custom":[18],"predicate,":[20],"tabulate":[22],"them":[23],"within":[24],"an":[25],"extensional":[26],"that":[28,30,102,113],"replaces":[29],"part.":[32],"Despite":[33],"possibility":[35],"of":[36,80,119],"achieving":[37],"higher":[38],"solving":[39,121],"performance,":[40],"this":[41],"tabling":[42,79,104,114],"often":[45],"not":[46],"tried,":[47],"because":[48],"it":[49,57],"tedious":[51],"perform;":[53],"further,":[54],"if":[55],"successful,":[56],"obfuscates":[58],"original":[60],"model.":[61],"In":[62],"order":[63],"encourage":[65],"modellers":[66],"try":[68],"tabling,":[69,111],"we":[70],"extend":[71],"MiniZinc":[73],"toolchain":[74],"perform":[76],"automatic":[78],"suitably":[81],"annotated":[82],"predicate":[83],"definitions,":[84],"without":[85],"requiring":[86],"any":[87],"changes":[88],"solvers,":[90],"thereby":[91],"eliminating":[92],"both":[93],"tedium":[95],"obfuscation.":[98],"Our":[99],"experiments":[100],"show":[101],"automated":[103],"yields":[105],"same":[107],"tables":[108],"as":[109],"manual":[110],"beneficial":[116],"for":[117],"solvers":[118],"several":[120],"technologies.":[122]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}