乐胖代购免代理版

{"id":"https://openalex.org/W1964911363","doi":"https://doi.org/10.1137/s0097539793243004","title":"An Algebraic Model for Combinatorial Problems","display_name":"An Algebraic Model for Combinatorial Problems","publication_year":1996,"publication_date":"1996-04-01","ids":{"openalex":"https://openalex.org/W1964911363","doi":"https://doi.org/10.1137/s0097539793243004","mag":"1964911363"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539793243004","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5052202085","display_name":"Richard E. Stearns","orcid":"https://orcid.org/0000-0001-5058-1999"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Richard E. Stearns","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5086835651","display_name":"Harry B. Hunt","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Harry B. Hunt III","raw_affiliation_strings":[],"affiliations":[]}],"institution_assertions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.361,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.80074,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":85,"max":86},"biblio":{"volume":"25","issue":"2","first_page":"448","last_page":"476"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9988,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.9988,"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"}},{"id":"https://openalex.org/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9982,"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/T10142","display_name":"Formal Methods in Verification","score":0.9878,"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/semiring","display_name":"Semiring","score":0.6253123},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.53104454},{"id":"https://openalex.org/keywords/tree","display_name":"Tree (set theory)","score":0.46422598},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4251691},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.4156144}],"concepts":[{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.6253123},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.53104454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.49695328},{"id":"https://openalex.org/C113174947","wikidata":"https://www.wikidata.org/wiki/Q2859736","display_name":"Tree (set theory)","level":2,"score":0.46422598},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.44081974},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.439964},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4251691},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.4156144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4011404},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39373487},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24355602},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.15750718},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539793243004","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":27,"referenced_works":["https://openalex.org/W1515900222","https://openalex.org/W1836127928","https://openalex.org/W1968653910","https://openalex.org/W1982180670","https://openalex.org/W1989072522","https://openalex.org/W1990034619","https://openalex.org/W1991755800","https://openalex.org/W2002006950","https://openalex.org/W2004759101","https://openalex.org/W2005079828","https://openalex.org/W2021380921","https://openalex.org/W2029448190","https://openalex.org/W2038225707","https://openalex.org/W2042654457","https://openalex.org/W2059372025","https://openalex.org/W2064796716","https://openalex.org/W2066577300","https://openalex.org/W2072181151","https://openalex.org/W2073558110","https://openalex.org/W2076776753","https://openalex.org/W2085550081","https://openalex.org/W2093454413","https://openalex.org/W2113679823","https://openalex.org/W2115826669","https://openalex.org/W2143406303","https://openalex.org/W2166566648","https://openalex.org/W2401610261"],"related_works":["https://openalex.org/W4298153058","https://openalex.org/W3176904788","https://openalex.org/W2963044240","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W21597398","https://openalex.org/W2091617677","https://openalex.org/W2076399409","https://openalex.org/W2014111643","https://openalex.org/W1913543287"],"abstract_inverted_index":{"A":[0],"new":[1],"algebraic":[2],"model,":[3,10,42,133],"called":[4],"the":[5,26,30,40,60,85,125,128,131,138,158,164,171,173,212,217],"generalized":[6,93],"satisfiability":[7],"problem":[8,44,142],"(GSP)":[9],"is":[11,22,46,63,79,150],"introduced":[12],"for":[13,167],"representing":[14,33],"and":[15,59,92,99,199],"solving":[16],"combinatorial":[17],"problems.":[18,38,105],"The":[19,77,106,144,156,186],"GSP":[20,41,132,148,169,187],"model":[21,78,107,126,188],"an":[23],"alternative":[24],"to":[25,64,82,193,195,202,207],"common":[27],"method":[28],"in":[29,115,152],"literature":[31],"of":[32,51,57,69,71,90,124,140,146,163,181,204],"such":[34,205],"problems":[35,87,198,206],"as":[36,192],"language-recognition":[37],"In":[39,130],"a":[43,49,55,66,74,116,147,153,168],"instance":[45,149,174],"represented":[47],"by":[48,178],"set":[50,56],"variables":[52],"together":[53],"with":[54],"terms,":[58],"computational":[61],"objective":[62],"find":[65],"certain":[67],"sum":[68],"products":[70],"terms":[72],"over":[73],"commutative":[75],"semiring.":[76],"general":[80],"enough":[81],"express":[83],"all":[84,95,100],"standard":[86],"about":[88],"sets":[89],"clauses":[91],"clauses,":[94],"nonserial":[96],"optimization":[97],"problems,":[98,113],"$\\{":[101],"0,1\\}":[102],"$-linear":[103],"programming":[104],"can":[108,135,175],"also":[109],"describe":[110],"many":[111],"graph":[112],"often":[114],"very":[117],"direct":[118],"structure-preserving":[119],"way.":[120],"Two":[121],"important":[122],"properties":[123],"are":[127],"following;1.":[129],"one":[134,180],"naturally":[136],"discuss":[137],"structure":[139,145,165],"individual":[141],"instances.":[143],"displayed":[151],"\u201cstructure":[154],"tree.\u201d":[155],"smaller":[157],"\u201cweighted":[159],"depth\u201d":[160],"or":[161],"\u201cchannelwidth\u201d":[162],"tree":[166],"instance,":[170],"faster":[172],"be":[176,208],"solved":[177],"any":[179],"several":[182],"generic":[183],"algorithms.":[184],"2.":[185],"extends":[189],"easily":[190],"so":[191],"apply":[194],"hierarchically":[196],"specified":[197,221],"enables":[200],"solutions":[201],"instances":[203],"found":[209],"directly":[210],"from":[211,216],"specification":[213],"rather":[214],"than":[215],"(often":[218],"exponentially)":[219],"larger":[220],"object.":[222]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1964911363","counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2024-12-13T00:15:39.629011","created_date":"2016-06-24"}