{"id":"https://openalex.org/W4393667078","doi":"https://doi.org/10.5281/zenodo.1219893","title":"Datset Of Automated Economic Reasoning Problems For Qe / Smt","display_name":"Datset Of Automated Economic Reasoning Problems For Qe / Smt","publication_year":2018,"publication_date":"2018-04-17","ids":{"openalex":"https://openalex.org/W4393667078","doi":"https://doi.org/10.5281/zenodo.1219893"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:1219893","is_oa":true,"landing_page_url":"https://zenodo.org/record/1219893","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/1219893","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5076609974","display_name":"Casey B. Mulligan","orcid":"https://orcid.org/0000-0001-9357-3446"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mulligan, Casey","raw_affiliation_strings":["University of Chicago"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Chicago","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073640180","display_name":"Russell Bradford","orcid":"https://orcid.org/0009-0003-3251-2051"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bradford, Russell","raw_affiliation_strings":["University of Bath"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043054372","display_name":"James H. Davenport","orcid":"https://orcid.org/0000-0002-3982-7545"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Davenport, James H.","raw_affiliation_strings":["University of Bath"],"raw_orcid":"https://orcid.org/0000-0002-3982-7545","affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052550722","display_name":"Matthew England","orcid":"https://orcid.org/0000-0001-5729-3420"},"institutions":[{"id":"https://openalex.org/I73417466","display_name":"Coventry University","ror":"https://ror.org/01tgmhj36","country_code":"GB","type":"education","lineage":["https://openalex.org/I73417466"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"England, Matthew","raw_affiliation_strings":["Coventry University"],"raw_orcid":"https://orcid.org/0000-0001-5729-3420","affiliations":[{"raw_affiliation_string":"Coventry University","institution_ids":["https://openalex.org/I73417466"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5008846130","display_name":"Zak Tonks","orcid":"https://orcid.org/0000-0001-6019-1775"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tonks, Zak","raw_affiliation_strings":["University of Bath"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bath","institution_ids":["https://openalex.org/I51601045"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T13370","display_name":"Diverse Scientific and Economic Studies","score":0.25189998745918274,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T13370","display_name":"Diverse Scientific and Economic Studies","score":0.25189998745918274,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.22059999406337738,"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.5125014781951904},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.42111656069755554},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.30112576484680176}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5125014781951904},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.42111656069755554},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.30112576484680176}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:zenodo.org:1219893","is_oa":true,"landing_page_url":"https://zenodo.org/record/1219893","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},{"id":"doi:10.5281/zenodo.1219893","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.1219893","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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":"Dataset"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:1219893","is_oa":true,"landing_page_url":"https://zenodo.org/record/1219893","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"dataset"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5548776230","display_name":"SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems","funder_award_id":"712689","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2478288626","https://openalex.org/W4391913857","https://openalex.org/W2350741829","https://openalex.org/W2530322880"],"abstract_inverted_index":{"<strong>NOTE:":[0],"PLEASE":[1],"REFER":[2],"INSTEAD":[3],"TO":[4],"V2":[5],"OF":[6],"THIS":[7],"DATASET:":[8],"<br>":[9],"https://doi.org/10.5281/zenodo.1226892</strong>":[10],"This":[11,45,77],"dataset":[12],"consists":[13],"of":[14],"45":[15,73,86],"examples":[16],"taken":[17],"from":[18],"economics":[19],"textbooks":[20],"and":[21,65,96],"papers":[22],"that":[23],"are":[24,40],"suitable":[25,98],"for":[26,56,71,89,99],"automatic":[27],"solution":[28],"with":[29,52,85,101],"Quantifier":[30],"Elimination":[31],"(QE)":[32],"or":[33],"Satisfiability":[34],"Modulo":[35],"Theory":[36],"(SMT)":[37],"technology.":[38],"There":[39],"two":[41],"files:":[42],"1.":[43],"EconomicReasoningBenchmarks-Apr18-Redlog.txt":[44],"plain":[46],"text":[47],"file":[48,79],"can":[49],"be":[50],"run":[51],"the":[53,57,106],"Redlog":[54],"Package":[55],"Computer":[58],"Algebra":[59],"System":[60],"Reduce.":[61],"It":[62],"contains":[63],"definitions":[64],"calls":[66],"to":[67,82],"Redlog's":[68],"QE":[69],"command":[70],"all":[72],"examples.":[74],"2.":[75],"EconomicReasoningBenchmarks-Apr18-SMT2.zip":[76],"zip":[78],"will":[80],"uncompress":[81],"a":[83],"directory":[84],"files,":[87],"one":[88],"each":[90],"example":[91],"given":[92],"in":[93],"SMT2":[94],"format":[95],"thus":[97],"use":[100],"any":[102],"SMT":[103],"solver":[104],"supporting":[105],"theory.":[107]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}