Theory and Applications of Satisfiability Testing - bib.howest.be

Theory and Applications of Satisfiability Testing

Format:: e-book
Title:: Theory and Applications of Satisfiability Testing
Author:: Hoos, Holger H.; Kanade, Takeo; Mitchell, David G.; Kittler, Josef
Language:: English
Publisher:: Springer Berlin / Heidelberg 2005
ISBN:: 3-540-27829-X
3-540-31580-2
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000232415?locale=en