乐胖代购免代理版

{"id":"https://openalex.org/W2023649265","doi":"https://doi.org/10.1145/258726.258739","title":"Uniform quantifier elimination and constraint query processing","display_name":"Uniform quantifier elimination and constraint query processing","publication_year":1997,"publication_date":"1997-01-01","ids":{"openalex":"https://openalex.org/W2023649265","doi":"https://doi.org/10.1145/258726.258739","mag":"2023649265"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/258726.258739","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/258726.258739","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/258726.258739","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057052198","display_name":"Saugata Basu","orcid":"https://orcid.org/0000-0002-2441-0915"},"institutions":[{"id":"https://openalex.org/I73544541","display_name":"Mathematical Sciences Research Institute","ror":"https://ror.org/05hs5r386","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I73544541"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Saugata Basu","raw_affiliation_strings":["Mathematical Sciences Research Institute, Berkeley, Ca.#TAB#"],"affiliations":[{"raw_affiliation_string":"Mathematical Sciences Research Institute, Berkeley, Ca.#TAB#","institution_ids":["https://openalex.org/I73544541"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5057052198"],"corresponding_institution_ids":["https://openalex.org/I73544541"],"apc_list":null,"apc_paid":null,"fwci":0.65,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":5,"citation_normalized_percentile":{"value":0.616257,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":71,"max":73},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9989,"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.9989,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9986,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9974,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/quantifier-elimination","display_name":"Quantifier elimination","score":0.54256296}],"concepts":[{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.68105865},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.67819124},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.59057444},{"id":"https://openalex.org/C32278780","wikidata":"https://www.wikidata.org/wiki/Q1849020","display_name":"Quantifier elimination","level":2,"score":0.54256296},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4587472},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.41347045},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35983106},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34601802},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.24328744},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.21844494},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","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}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/258726.258739","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/258726.258739","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1145/258726.258739","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/258726.258739","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1517150411","https://openalex.org/W1553142094","https://openalex.org/W1555138513","https://openalex.org/W1596887828","https://openalex.org/W1869322803","https://openalex.org/W1989267168","https://openalex.org/W1991813962","https://openalex.org/W2006918089","https://openalex.org/W2033743662","https://openalex.org/W2038323209","https://openalex.org/W2040951317","https://openalex.org/W2077459175","https://openalex.org/W2085536555","https://openalex.org/W2086445114","https://openalex.org/W2094548115","https://openalex.org/W2102074804","https://openalex.org/W2103178808","https://openalex.org/W2103745248","https://openalex.org/W2104715607","https://openalex.org/W2139480317","https://openalex.org/W2139922046","https://openalex.org/W2151549243","https://openalex.org/W2489748212","https://openalex.org/W2788164529","https://openalex.org/W312222261","https://openalex.org/W4235934183","https://openalex.org/W4298290503"],"related_works":["https://openalex.org/W3217399827","https://openalex.org/W3095068681","https://openalex.org/W2589479599","https://openalex.org/W2049666462","https://openalex.org/W2039279140","https://openalex.org/W2035631589","https://openalex.org/W1995150618","https://openalex.org/W1813686459","https://openalex.org/W1632876905","https://openalex.org/W1617297050"],"abstract_inverted_index":{"Article":[0],"Free":[1],"Access":[2],"Share":[3],"on":[4,40,92],"Uniform":[5],"quantifier":[6],"elimination":[7],"and":[8,42,69],"constraint":[9],"query":[10],"processing":[11],"Author:":[12],"Saugata":[13],"Basu":[14],"Mathematical":[15,21],"Sciences":[16,22],"Research":[17,23],"Institute,":[18,24],"Berkeley,":[19,25],"CA":[20],"CAView":[26],"Profile":[27],"Authors":[28],"Info":[29],"&":[30],"Claims":[31],"ISSAC":[32],"'97:":[33],"Proceedings":[34],"of":[35],"the":[36,93],"1997":[37,45],"international":[38],"symposium":[39],"Symbolic":[41],"algebraic":[43],"computationJuly":[44],"Pages":[46],"21\u201327https://doi.org/10.1145/258726.258739Online:01":[47],"July":[48],"1997Publication":[49],"History":[50],"3citation177DownloadsMetricsTotal":[51],"Citations3Total":[52],"Downloads177Last":[53],"12":[54],"Months2Last":[55],"6":[56],"weeks0":[57],"Get":[58],"Citation":[59,61,98],"AlertsNew":[60,97],"Alert":[62],"added!This":[63],"alert":[64,89],"has":[65,84],"been":[66,85],"successfully":[67],"added":[68],"will":[70,74],"be":[71,75],"sent":[72],"to:You":[73],"notified":[76],"whenever":[77],"a":[78,110],"record":[79],"that":[80],"you":[81],"have":[82],"chosen":[83],"cited.To":[86],"manage":[87],"your":[88,103],"preferences,":[90],"click":[91],"button":[94],"below.Manage":[95],"my":[96],"Alert!Please":[99],"log":[100],"in":[101],"to":[102,106,108],"account":[104],"Save":[105],"BinderSave":[107],"BinderCreate":[109],"New":[111],"BinderNameCancelCreateExport":[112],"CitationPublisher":[113],"SiteeReaderPDF":[114]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2023649265","counts_by_year":[],"updated_date":"2024-12-13T12:43:57.571229","created_date":"2016-06-24"}