Handbook of satisfiability

Author：edited by Armin Biere ... [et al.].
Publisher：IOS Press
ISBN：9781607503767 (electronic bk.) ; 9781586039295
Publication Date：c2009.
其他作者：Biere, Armin.
語言：zh
出版地：Amsterdam, The Netherlands ; Washington, DC :
Description

xiii, 966 p. ::ill. ;:25 cm.

Search Same Author