25 元券Satisfiability9783838303277OptimizationSearching¥11720去看看澜瑞图书专营店发布了【4周达】Searching for Optimization through Satisfiability [9783838303277]25 元券2005Satisfiability9789400787155Research¥14910去看看澜瑞图书专营店发布了【4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9789400787155]25 元券2005Satisfiability9781402045523Research¥15100去看看澜瑞图书专营店发布了【4周达】SAT 2005 : Satisfiability Research in the Year 2005 [9781402045523]25 元券Satisfiability9780821804797Problem周达】¥22160去看看澜瑞图书专营店发布了【4周达】Satisfiability Problem [9780821804797]25 元券Satisfiability9781643681603HandbookEdition¥26040去看看澜瑞图书专营店发布了【4周达】Handbook of Satisfiability Second Edition [9781643681603]25 元券Satisfiability9780444504104FunctionsProblem¥31650去看看澜瑞图书专营店发布了【4周达】Satisfiability Problem and Boolean Functions [9780444504104]导论SatisfiabilityPropositional命题¥2870去看看中华商务图书专营店发布了海外直订Introduction to Propositional Satisfiability 命题满足性导论SatisfiabilityInternational9783319409696Applications¥5950去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2016 : 19th International Conference... [9783319409696]SatisfiabilityInternational9783540278290Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 7th International Conference, SAT 2004, V... [9783540278290]SatisfiabilityInternational9783319662626Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing – SAT 2017: 20th International Conference... [9783319662626]SatisfiabilityInternational9783540727873Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2007 : 10th International Conference... [9783540727873]Satisfiability9783319892146VerificationValidation¥15160去看看澜瑞图书专营店发布了【4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [9783319892146]Satisfiability9783031427459VerificationProcesses¥7250去看看澜瑞图书专营店发布了【4周达】Verification of Data-Aware Processes via Satisfiability Modulo Theories [9783031427459]SatisfiabilityInternational9783030802226Applications¥12150去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2021 : 24th International Conference... [9783030802226]SatisfiabilityInternational9783642215803Application¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Application of Satisfiability Testing: 14th International Conference, SAT 2011, A... [9783642215803]Satisfiability9783319728131VerificationValidation¥15350去看看澜瑞图书专营店发布了【4周达】Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers [9783319728131]Satisfiability9783319218090SatisfactionConstraint¥5560去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319218090]SatisfiabilityInternational9783642316111Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conferenc... [9783642316111]Satisfiability9783319373645SatisfactionConstraint¥5370去看看澜瑞图书专营店发布了【4周达】Bridging Constraint Satisfaction and Boolean Satisfiability [9783319373645]SatisfiabilityInternational9783642027765Applications¥5950去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference,... [9783642027765]SatisfiabilityInternational9783642141850Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference,... [9783642141850]SatisfiabilityInternational9783319092836Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - Sat 2014: 17th International Conference,... [9783319092836]SatisfiabilityInternational9783319243177Applications¥6880去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing -- SAT 2015 : 18th International Conferenc... [9783319243177]SatisfiabilityInternational9783319941431Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2018: 21st International Conference,... [9783319941431]Satisfiability9783540372066InternationalApplications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference,... [9783540372066]SatisfiabilityInternational9783642390708Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing - SAT 2013 : 16th International Conference... [9783642390708]SatisfiabilityInternational9783540262763Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing : 8th International Conference, SAT 2005, ... [9783540262763]SatisfiabilityInternational9783540208518Applications¥5760去看看澜瑞图书专营店发布了【4周达】Theory and Applications of Satisfiability Testing: 6th International Conference, Sat 2003. S... [9783540208518]