{"id":"https://openalex.org/W6907408188","doi":"https://doi.org/10.21227/hwxc-cf61","title":"Parallel ReCal Supplementary material","display_name":"Parallel ReCal Supplementary material","publication_year":2019,"publication_date":"2019-11-07","ids":{"openalex":"https://openalex.org/W6907408188","doi":"https://doi.org/10.21227/hwxc-cf61"},"language":"en","primary_location":{"id":"doi:10.21227/hwxc-cf61","is_oa":true,"landing_page_url":"https://doi.org/10.21227/hwxc-cf61","pdf_url":null,"source":{"id":"https://openalex.org/S7407051695","display_name":"IEEE DataPort","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"type":"dataset","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.21227/hwxc-cf61","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Denaro, Giovanni","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Denaro, Giovanni","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"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":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/subject","display_name":"Subject (documents)","score":0.6380000114440918},{"id":"https://openalex.org/keywords/data-file","display_name":"Data file","score":0.5142999887466431},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5134000182151794},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.484499990940094},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.429500013589859},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4027000069618225},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.3792000114917755},{"id":"https://openalex.org/keywords/file-format","display_name":"File format","score":0.3758000135421753}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7922000288963318},{"id":"https://openalex.org/C2777855551","wikidata":"https://www.wikidata.org/wiki/Q12310021","display_name":"Subject (documents)","level":2,"score":0.6380000114440918},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6230999827384949},{"id":"https://openalex.org/C171730128","wikidata":"https://www.wikidata.org/wiki/Q5227290","display_name":"Data file","level":2,"score":0.5142999887466431},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5134000182151794},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.484499990940094},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.4546999931335449},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.429500013589859},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4027000069618225},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.3792000114917755},{"id":"https://openalex.org/C97250363","wikidata":"https://www.wikidata.org/wiki/Q235557","display_name":"File format","level":2,"score":0.3758000135421753},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.32839998602867126},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.31709998846054077},{"id":"https://openalex.org/C2780940931","wikidata":"https://www.wikidata.org/wiki/Q174989","display_name":"File system","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C3020440742","wikidata":"https://www.wikidata.org/wiki/Q1176855","display_name":"Software package","level":3,"score":0.2962000072002411},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2939000129699707},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.28619998693466187},{"id":"https://openalex.org/C2777210771","wikidata":"https://www.wikidata.org/wiki/Q4927124","display_name":"Block (permutation group theory)","level":2,"score":0.2856000065803528},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28049999475479126},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2750000059604645},{"id":"https://openalex.org/C95637964","wikidata":"https://www.wikidata.org/wiki/Q82753","display_name":"Computer file","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.27070000767707825},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.2556999921798706}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.21227/hwxc-cf61","is_oa":true,"landing_page_url":"https://doi.org/10.21227/hwxc-cf61","pdf_url":null,"source":{"id":"https://openalex.org/S7407051695","display_name":"IEEE DataPort","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"doi:10.21227/hwxc-cf61","is_oa":true,"landing_page_url":"https://doi.org/10.21227/hwxc-cf61","pdf_url":null,"source":{"id":"https://openalex.org/S7407051695","display_name":"IEEE DataPort","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"dataset"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"PURPOSE-------This":[0],"data":[1,36],"package":[2,37],"is":[3],"provided":[4],"as":[5],"supplementary":[6],"material":[7],"of":[8,39,81,130],"the":[9,62,66,72,79,82,91,115,120,124,128],"paper:\u201cA":[10],"GPU":[11],"Approach":[12],"to":[13,28,123],"Efficiently":[14],"Reusing":[15],"Constraint":[16],"Proofs\u201d,":[17],"by":[18],"M.":[19,24],"Chen,":[20],"G.":[21],"Denaro":[22],"and":[23,113],"Pezz\u00e8,submitted":[25],"for":[26,97],"evaluation":[27],"IEEE":[29],"Transactions":[30],"on":[31],"software":[32],"engineering,":[33],"Nov.":[34],"2019.STRUCTURE---------The":[35],"consists":[38],"24":[40],"files:-":[41],"a":[42,48,107],"file":[43,49,73,87],"named":[44,50,54,88],"_README.txt:":[45],"this":[46],"file-":[47],"_programs.txt-":[51],"22":[52],"files":[53],"program_name.sexprFile":[55],"_programs.txt":[56],"lists":[57],"subject":[58,70,99,108],"programs":[59],"used":[60],"in":[61,65,102,119],"experiments":[63],"discussed":[64],"paper.":[67],"For":[68],"each":[69,98,103],"program,":[71],"indicates":[74],"an":[75],"online":[76],"reference":[77],"where":[78],"code":[80],"program":[83,109],"can":[84],"be":[85],"found.Each":[86],"program_name.sexpr":[89],"reports":[90],"QFLIA":[92],"constraints":[93,116],"that":[94,131],"we":[95,105],"considered":[96],"program.":[100,132],"Specifically,":[101],"experiment,":[104],"executed":[106],"with":[110],"symbolic":[111],"execution,":[112],"monitored":[114],"(the":[117],"ones":[118],"file)":[121],"sent":[122],"constraint":[125],"solver":[126],"during":[127],"analysis":[129]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2025-10-10T00:00:00"}