Handbook of satisfiability

• 作者：edited by Armin Biere ... [et al.].
• 出版者：IOS Press
• 出版地：Amsterdam, The Netherlands ; Washington, DC :
• 語文：英語
• 叢書名：Frontiers in artificial intelligence and applications,
• 電子資源：http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781586039295
• ISBN/ISSN/ISRC：9781607503767 (electronic bk.) ; 9781586039295
• 作者：Biere, Armin.
• 索書號：511.3