{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T19:57:27Z”，“时间戳”：1725479847719}，“出版商位置”：“柏林，海德堡”，“参考计数”：27，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783839”642366932“}，{”类型“：“电子”，“值”：“9783642366949”}]，“内容域”：｛“域”：[]，“交叉标记限制”：false｝，“短容器标题”：[]，“已出版的印刷品”：｛“日期部分”：[[2013]]｝，“DOI”：“10.1007\/978-3-642-36694-9_8”，“类型”：“书籍章节”，“已创建”：｛“日期部分”：[[2013,3,11]]，“日期时间”：“2013-03-11T06:08:39Z”，“时间戳”：1362982119000｝，“页面”：“86-86-86 97英寸，“source”：“Crossref”，“is-referenced-by-count”：2，“title”：[“无爪完美图中的最小团覆盖和弱Edmonds-Johnson属性”]，“prefix”：“10.1007”，”author“：[{”given“：“Flavia”，“family”：“Bonomo”，“sequence”：“first”，“affiliation”：[]}，{“given”：克劳迪娅“，“family”：“Snels”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Gautier”，“faily”：”Stauffer“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“reference”：[{“issue”：“3”，“key”：”8_CR1“，”doi-asserted-by“：”publisher“，“first-page”：“121”，“doi”：“10.1016\/0020-0190（79）90002-4”，“volume”：“8”，“author”：“B.Aspvall”，“year”：“1979”，“unstructured”：“Aspvall，B.，Plass，M.，Tarjan，R.：测试某些量化布尔公式真实性的线性时间算法。Inf.Process。Lett.\u00a08（3），121\u2013123（1979）”，“日记标题”：“Inf.Process.Lett.”}，{“key”：“8_CR2”，“series-title”：“计算机科学课堂笔记”，“doi-asserted-by”：“publisher”，“first page”：”8“，“doi”：“10.1007\/978-3-540-78163-9_6”，“volume-title”：“验证、模型检查和抽象解释”，“author”：“R.Bagnara”，“year”：“2008”，“unstructured”：“Bagnara-R.，Hill，P.M.，Zaffanella，E.：整数八边形约束的改进紧闭包算法。In:Logozzo，F.，Peled，D.A.，Zuck，L.D.（eds.）VMCAI 2008。LNCS，第u00a04905卷，第8\u201321页。Springer，Heidelberg（2008）“}，{“volume-title”：“图和超图”，“year”：“1973”，“author”：“C.Berge”，“key”：“8_CR3”，“unstructured”：“Berge，C.：图形和超图。Dunod，Paris（1973）”}，}“key“：”8_CR4“，“series-title”：《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：”22“，“doi”：“10.1007\/978-3642”-34611-8_6“，”volume-title“：“计算机科学中的图论概念”，“author”：“F.Bonomo”，“year”：“2012”，“unstructured”：“Bonomo，F.，Oriolo，G.，Snels，C.：条合成完美图上的最小加权团覆盖。收件人：Golumbic，M.C.，Stern，M.，Levy，A.，Morgenstern，G.（编辑）WG 2012。LNCS，第u00a07551卷，第22\u201333页。Springer，Heidelberg（2012）“}，{”issue“：”2“，”key“：”8_CR5“，”doi-asserted-by“：”publisher“，”first page“：“138”，“doi”：“10.1016\/0095-8956（75）90041-6”，“volume”：“18”，“author”：“V.Chv\u00eTal”，“year”：“1975”，“unstructured”：“Chv\u 00e1tal，V.：关于与图相关的某些多面体。J.Combina.Theory，Ser.B\u00a018（2），138\u2013154（1975）“，”《新闻标题》：“J.Combina.Theory，Ser。B“}，{”key“：”8_CR6“，”doi-asserted-by“：”publisher“，”first page“：“154”，”doi“：”10.1016\/0095-8956（88）90085-8“，“volume”：“44”，“author”：“V.Chv\u00e1tal”，“year”：“1988”，“unstructured”：“Chv\u 00e1ital，V.，Sbihi，N.：识别无爪完美图。J.Combina.Theory，Ser.B\u00a044，154\u2013176（1988）“，”新闻标题“：”J.Combina.Theory，Ser.B“}，{”key”：“8_CR7”，“首页”：“89”，“卷标题”：“组合结构及其应用”，“作者”：“J.Edmonds”，“年份”：“1970”，“非结构化”：“Edmonds，J.，Johnson，E.：匹配：一类求解良好的整数线性程序。摘自：Guy，R.、Hanani，H.、Sauer，N.、Sch\u00f6nheim，J.（编辑）《组合结构及其应用》，第89\u201392页。Gordon and Breach，New York（1970）“}，{”key“：“8_CR8”，”doi-asserted-by“：”publisher“，”first page“：”88“，”doi“：”10.1007\/BF01580113“，”volume“：：”5“，”author“：”J.Edmonds“，”year“：”1973“，”unstructured“：”Edmonds，J.，Johnson，E.：Matchina postman.Math.Program.\u00a05，88\u2013124（1973）“，”journal-title“：”Math.Program.“}，{”key“：”8_CR9“，”doi-asserted-by“：”crossref“，”unstructured“：”Faenza，Y.，Oriolo，G.，Stauffer，G.：无爪图的算法分解导致加权稳定集问题的O（n\n 3）-算法。收录人：Randall，D.（编辑）Proc。第22届SODA，加利福尼亚州旧金山，第630\u2013646页（2011）“，”DOI“：”10.1137\/1.9781611973082.49“}，{”key“：”8_CR10“，”DOI-asserted-by“：”crossref“，”first page“：“69”，”DOI:“10.1016\/B978-0-12-358350-5.50006-3”，”volume-title“：”Mathematical Programming“，”author“：”D.Fulkerson“，”year“：”1973“，”unstructured“：”Fulkerson，D.：关于完美图定理。摘自：Hu，T.，Robinson，S.（编辑）《数学规划》，第69页\u201376。纽约学术出版社（1973）“}，{”issue“：”4“，”key“：”8_CR11“，”doi-asserted-by“：”publisher“，”first page“：“365”，”doi“：”10.1007\/BF02579262“，”volume“：6”，”author“：”A.Gerards“，”year“：”1986“，”unstructured“：”Gerards-Johnson属性的矩阵。Combinatorica\u00a06（4），365\u2013379（1986）“，“日志标题”：“组合数学“}，{“key”：“8_CR12”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/9788-3-642-97881-4”，“volume-title”：“几何算法与组合优化”，“author”：“M.Gr\u00f6tschel”，“year”：“1988”，“unstructured”：“Gr\u00f6tschel，M.，Lov\u00e1sz，L.，Schrijver，A.：几何算法和组合优化。Springer，Berlin（1988）“}，{”key“：”8_CR13“，”unstructured“：”Harvey，W.，Stuckey，P.：约束逻辑编程的每不等式整数约束求解器的单位二变量。摘自：澳大利亚悉尼第20届澳大利西亚计算机科学会议。澳大利亚计算机科学通信，第102\u2013111（1997）页“}”，{“key”：“8_CR14”，“doi-asserted-by“：”publisher“，”first page“：”181“，“doi”：“10.1016\/0012-365X（81）90218-1”，“volume”：“37”，“author”：“W.Hsu”，”year“：”1981“，”unstructured“：”Hsu，W.，Nemhauser，G.：无爪完美图中团最小覆盖和最大团的算法。离散数学。\u00a037，181\u2013191（1981）“，”期刊标题“：”离散数学“。“｝，｛”issue“：”1“，”key“：”8_CR15“，”doi asserted by“：”publisher“，”first page“：”65“，”doi“：”10.1016/0012-365X（82）90169-8“，”volume“：”38“，”author“：”W.Hsu“，”year“：”1982“，”nonstructured“：”Hsu，W.，Nemhauser，G.：无爪完美图上最小加权团覆盖问题的多项式算法。离散数学。\u00a038（1），65\u201371（1982）“，”journal-title“：”离散数学。“}，{”key“：”8_CR16“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first-page“：”86“，”doi“：”10.1007\/3-540-58601-6_92“，”volume-title“：“约束编程原理与实践”，”author“：”J.Jaffar“，”year“：”1994“，”unstructured“：”Jaffar，J.、Maher，M.J.、Stuckey，P.J.、Yap，R.H.C.：超越有限域。参见：PPCP 1994。LNCS，第u00a0874卷，第86\u201394页。Springer，Heidelberg（1994）“}，{“volume-title”：“组合优化：理论与算法”，“year”：“2011”，“author”：“B.Korte”，“key”：“8_CR17”，“unstructured”：“Korte，B.，Vygen，J.：组合优化：原理与算法。Springer、Berlin（2011）”}，}“key“：”8_CR18“series-title”：《人工智能讲义》，“doi-asserted-by“：”publisher“，”first page“：”168“，“doi”：“10.1007 \/11559306_9”，“volume-title”：“组合系统的前沿”，“author”：“S.K.Lahiri”，“year”：“2005”，“unstructured”：“Lahiri，S.K.，Musuvathi，M.：UTVPI约束的有效决策程序。收录：Gramlich，B.（编辑）FroCos 2005。LNCS（LNAI），第u00a03717卷，第168\u2013183页。Springer，Heidelberg（2005）“}，{“问题”：“1”，“密钥”：“8_CR19”，“发布者断言的doi”，“第一页”：“134”，“doi”：“10.1006\/jctb.1998.1872”，“卷”：“75”，“作者”：“F.Maffrey”，“年份”：“1999”，“非结构化”：“Maffrey，F.，Reed，B.：无爪完美图的描述。J.Combin.Theory，Ser.B \u00a075（1），134\u2013156（1999）”，“期刊标题”：“J。组合理论，Ser。B“}，{”key“：”8_CR20“，”doi-asserted-by“：”publisher“，”first page“：“180”，”doi“：”10.1007\/BF01580235“，”volume“：：”6“，”author“：”M.Padberg“，“year”：“1974”，“unstructured”：“Padbeg，M.：完美的零一矩阵。数学程序。\u00a06，180\u2013196（1974）”，“journal-title”：“数学程序”}，”{“key”：“8_CR21”，“非结构化”“：”Peis，B.：在算法方面对Matching和Matroid的一些推广进行结构分析。博士论文，University\u00e4t zu K\u00f6ln（2007）“}，{“问题”：“1”，“关键”：“8_CR22”，“doi-asserted-by”：“出版商”，“首页”：“527”，“doi”：“10.1007\/BF02574704”，“卷”：“6”，“作者”：“A.Schrijver”，“年份”：“1991”，“非结构化”：“Schrijvers，A.：平面图中的不相交同伦路径和树。离散计算。Geom.\u00a 06（1），527\u2013574（1991）“，”journal-title“：”离散计算。地理。“}，{”key“：”8_CR23“，”series-title“：“算法与组合学”，”volume-title“：”组合优化.多面体与效率（3卷）“，”author“：”A.Schrijver“，”year“：”2003“，”unstructured“：”Schrijvers，A.：组合优化.多边形与效率（三卷）.算法与组合数学，vol.\u00a024。Springer，Berlin（2003）“}，{”issue“：”4“，”key“：”8_CR24“，”doi-asserted-by“：”publisher“，”first page“：“514”，“doi”：“10.1287\/ijoc.1090.0369”，“volume”：“22”，“author”：“A.Schutt”，“year”：“2010”，“unstructured”：“Schutt，A.，Stuckey，P.：UTVPI约束的增量可满足性和隐含性。INFORMS J.Compute.\u00a022（4），514 \u2013527（2010）“，”journal-title“：”信息J.计算。“}，{”key“：”8_CR25“，”首页“：”67“，”volume“：“3”，”author“：”S.Seshia“，”year“：”2007“，”unstructured“：”Seshia，S.，Subramani，K.，Bryant，R.：关于求解UTVPI约束的布尔组合。J.Satisf.Boolean Model.Comput.\u00a03，67\u201390（2007，“doi-asserted-by“：”publisher“，”first page“：”146“，“doi”：“10.1137\/021010”，“volume”：“1”，“author”：“R.Tarjan”，“year”：“1972”，“unstructured”：“Tarjan，R.：深度优先搜索和线性图算法。SIAM J.计算。\u00a01（2），146\u2013160（1972）“，“新闻标题”：“SIAM J.Compute。“}，{”key“：”8_CR27“，”doi-asserted-by“：”crossref“，”unstructured“：”Whitesides，S.：解决某些图形识别和优化问题的方法，以及完美图形的应用。In：Berge，C.，Chv\u00e1tal，V.（eds.）Topics on perfect graphs，North-Holland.North-Howland Mathematics Studies，vol.\u00a088，pp.281\u2013297（1984）“，”DOI“：”10.1016\/S0304-0208（08）72941-4“｝]，“容器标题”：[“计算机科学讲义”，“整数规划与组合优化”]，“原标题”：[]，“链接”：[｛”URL“：”http:\/\/link.springer.com\/content/pdf\/10.1007\/978-3-642-36694-9_8“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“}”，“存放”：{“日期部分”：[[2019,5,11]]，“日期时间”：“2019-05-11T13:47:57Z”，“时间戳”：1557582477000}，“分数”：1，“资源”：{“主要”：{:“URL”：“http://\link.springer.com\/10.1007\/978-3642-36694-9_8”}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2013]]}，“ISBN”：[“9783642366932”，“978364 2366949”]，“references-count“：27，”URL“：”http://\/dx.doi.org\/10.1007\/978-3642-36694-9_8“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”type“:”print“，”value“：”0302.9743“}，{”类型“：”electronic“，”value“：”1611-33049“}]，”主题“：[]，”发布“：{”date-parts“：[[2013]]}}}