乐胖代购免代理版

{"id":"https://openalex.org/W4310214319","doi":"https://doi.org/10.1007/s10664-022-10217-3","title":"Variational satisfiability solving: efficiently solving lots of related SAT problems","display_name":"Variational satisfiability solving: efficiently solving lots of related SAT problems","publication_year":2022,"publication_date":"2022-11-28","ids":{"openalex":"https://openalex.org/W4310214319","doi":"https://doi.org/10.1007/s10664-022-10217-3"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-022-10217-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10217-3.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10217-3.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091775512","display_name":"Jeffrey M. Young","orcid":"https://orcid.org/0000-0002-2935-772X"},"institutions":[],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jeffrey M. Young","raw_affiliation_strings":["IOHK, Longmont, CO, USA"],"affiliations":[{"raw_affiliation_string":"IOHK, Longmont, CO, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018307128","display_name":"Paul Maximilian Bittner","orcid":"https://orcid.org/0000-0001-9388-0649"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"funder","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Paul Maximilian Bittner","raw_affiliation_strings":["University of Ulm, Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"University of Ulm, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057741632","display_name":"Eric Walkingshaw","orcid":"https://orcid.org/0000-0003-1214-0791"},"institutions":[{"id":"https://openalex.org/I4210106247","display_name":"Corvallis Environmental Center","ror":"https://ror.org/01kdb6822","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I4210106247"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eric Walkingshaw","raw_affiliation_strings":["Unaffiliated, Corvallis, OR, USA"],"affiliations":[{"raw_affiliation_string":"Unaffiliated, Corvallis, OR, USA","institution_ids":["https://openalex.org/I4210106247"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022934464","display_name":"Thomas Th\u00fcm","orcid":"https://orcid.org/0000-0001-8069-9584"},"institutions":[{"id":"https://openalex.org/I196349391","display_name":"Universit\u00e4t Ulm","ror":"https://ror.org/032000t02","country_code":"DE","type":"funder","lineage":["https://openalex.org/I196349391"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Th\u00fcm","raw_affiliation_strings":["University of Ulm, Ulm, Germany"],"affiliations":[{"raw_affiliation_string":"University of Ulm, Ulm, Germany","institution_ids":["https://openalex.org/I196349391"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":1.118,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.769344,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":75,"max":79},"biblio":{"volume":"28","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9994,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9809,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/solver","display_name":"Solver","score":0.737486},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.6211144},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.5987045},{"id":"https://openalex.org/keywords/variational-analysis","display_name":"Variational analysis","score":0.4358537}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.737486},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.6211144},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.5987045},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5925144},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.5675881},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.55441535},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5050679},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.44742635},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.44733652},{"id":"https://openalex.org/C523394659","wikidata":"https://www.wikidata.org/wiki/Q17086892","display_name":"Variational analysis","level":2,"score":0.4358537},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.36404777},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36251333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.31671238},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24825555},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17606801}],"mesh":[],"locations_count":1,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-022-10217-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10217-3.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.1007/s10664-022-10217-3","pdf_url":"https://link.springer.com/content/pdf/10.1007/s10664-022-10217-3.pdf","source":{"id":"https://openalex.org/S109852484","display_name":"Empirical Software Engineering","issn_l":"1382-3256","issn":["1382-3256","1573-7616"],"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":true,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319965","https://openalex.org/P4310319900"],"host_organization_lineage_names":["Springer Nature","Springer Science+Business Media"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[{"funder":"https://openalex.org/F4320320879","funder_display_name":"Deutsche Forschungsgemeinschaft","award_id":"TH 2387/1-1"},{"funder":"https://openalex.org/F4320325530","funder_display_name":"Universit\u00e4t Ulm","award_id":null}],"datasets":[],"versions":[],"referenced_works_count":83,"referenced_works":["https://openalex.org/W1128447031","https://openalex.org/W1480909796","https://openalex.org/W1481397690","https://openalex.org/W1487467265","https://openalex.org/W1518705996","https://openalex.org/W1579437898","https://openalex.org/W1608654004","https://openalex.org/W1968560832","https://openalex.org/W1972612110","https://openalex.org/W1980073965","https://openalex.org/W1988748355","https://openalex.org/W1990880047","https://openalex.org/W1996808256","https://openalex.org/W1999296854","https://openalex.org/W2003113483","https://openalex.org/W2009288394","https://openalex.org/W2009982135","https://openalex.org/W2013770653","https://openalex.org/W2016954568","https://openalex.org/W2017931474","https://openalex.org/W204013869","https://openalex.org/W2046239089","https://openalex.org/W2048064553","https://openalex.org/W2048580982","https://openalex.org/W2062483738","https://openalex.org/W2062950667","https://openalex.org/W2065587836","https://openalex.org/W2093679906","https://openalex.org/W2095821893","https://openalex.org/W2098446677","https://openalex.org/W2102863244","https://openalex.org/W2106799975","https://openalex.org/W2110025251","https://openalex.org/W2110123236","https://openalex.org/W2112000202","https://openalex.org/W2113201637","https://openalex.org/W2117189826","https://openalex.org/W2121937529","https://openalex.org/W2128967738","https://openalex.org/W2142785340","https://openalex.org/W2151338677","https://openalex.org/W2171239903","https://openalex.org/W2294668324","https://openalex.org/W2364847970","https://openalex.org/W2466268137","https://openalex.org/W2527243989","https://openalex.org/W2533276575","https://openalex.org/W2577202647","https://openalex.org/W2599704569","https://openalex.org/W2750802022","https://openalex.org/W2764058560","https://openalex.org/W2766395353","https://openalex.org/W2794846473","https://openalex.org/W2886368483","https://openalex.org/W2890509371","https://openalex.org/W2891174825","https://openalex.org/W2891514372","https://openalex.org/W2898266404","https://openalex.org/W2912949875","https://openalex.org/W2916839235","https://openalex.org/W2963311060","https://openalex.org/W2972551042","https://openalex.org/W3017898904","https://openalex.org/W3047262496","https://openalex.org/W3082083125","https://openalex.org/W3093617082","https://openalex.org/W3126550257","https://openalex.org/W3126914695","https://openalex.org/W3144844596","https://openalex.org/W3193251185","https://openalex.org/W3215331369","https://openalex.org/W4206358530","https://openalex.org/W4214501252","https://openalex.org/W4214671568","https://openalex.org/W4230619493","https://openalex.org/W4235417919","https://openalex.org/W4235662153","https://openalex.org/W4244488020","https://openalex.org/W4246691913","https://openalex.org/W4252368724","https://openalex.org/W4252684946","https://openalex.org/W4255555015","https://openalex.org/W4302984605"],"related_works":["https://openalex.org/W4313407580","https://openalex.org/W4310214319","https://openalex.org/W4290647776","https://openalex.org/W2998265132","https://openalex.org/W2979612917","https://openalex.org/W2890512026","https://openalex.org/W2408080066","https://openalex.org/W2115480761","https://openalex.org/W2071595252","https://openalex.org/W152362803"],"abstract_inverted_index":{"Abstract":[0],"Incremental":[1],"satisfiability":[2],"(SAT)":[3],"solving":[4,11,14,108,129],"is":[5,32,36,75],"an":[6,89,182],"extension":[7],"of":[8,17,42,55,96,140],"classic":[9],"SAT":[10,19,57,102,135,173],"that":[12,52,189,203],"enables":[13,155],"a":[15,115,124,156,171,176,200],"set":[16],"related":[18,56,112,134],"problems":[20,113,136,211],"by":[21,109],"identifying":[22],"and":[23,44,92,119,154,180],"exploiting":[24],"shared":[25],"terms.":[26],"However,":[27],"using":[28],"incremental":[29,66,97,107,152,191,215],"solvers":[30,67,192,216],"effectively":[31],"hard":[33],"since":[34],"performance":[35],"sensitive":[37],"to":[38,88,158,193],"the":[39,80,85,94,148,151,163,204],"input":[40,118],"order":[41],"subterms":[43],"results":[45,122],"must":[46],"be":[47],"tracked":[48],"manually.":[49],"For":[50],"analyses":[51],"generate":[53],"sets":[54],"problems,":[58],"such":[59],"as":[60,114,123,137],"those":[61],"in":[62,79,133,162],"software":[63,194],"product":[64],"lines,":[65],"are":[68],"either":[69],"not":[70,76],"used":[71],"or":[72],"their":[73],"use":[74,95],"clearly":[77],"described":[78],"literature.":[81],"This":[82],"paper":[83],"translates":[84],"ordering":[86],"problem":[87,91],"encoding":[90],"automates":[93,147],"solving.":[98],"We":[99,197],"introduce":[100],"variational":[101,117,126,172,178,201],"solving,":[103],"which":[104],"differs":[105],"from":[106],"accepting":[110],"all":[111,121],"single":[116,125],"returning":[120],"output.":[127],"Variational":[128],"syntactically":[130],"encodes":[131],"differences":[132],"local":[138],"points":[139],"variation.":[141],"With":[142],"this":[143],"syntax,":[144],"our":[145],"approach":[146],"interaction":[149],"with":[150],"solver":[153,206],"method":[157],"automatically":[159,219],"optimize":[160],"sharing":[161],"input.":[164],"To":[165],"evaluate":[166],"these":[167,210],"ideas,":[168],"we":[169],"formalize":[170],"algorithm,":[174],"construct":[175],"prototype":[177,205],"solver,":[179],"perform":[181],"empirical":[183],"analysis":[184],"on":[185],"two":[186],"real-world":[187],"datasets":[188],"applied":[190],"evolution":[195],"scenarios.":[196],"show,":[198],"assuming":[199],"input,":[202],"scales":[207],"better":[208],"for":[209],"than":[212],"four":[213],"off-the-shelf":[214],"while":[217],"also":[218],"tracking":[220],"individual":[221],"results.":[222]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W4310214319","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1}],"updated_date":"2025-03-18T15:33:33.663984","created_date":"2022-11-30"}