Original language | English |
---|---|
Title of host publication | Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002) |
Place of Publication | Athens, Greece |
Publisher | World Scientific and Engineering Academy and Society (WSEAS) |
Pages | 213-217 |
Publication status | Published - 2002 |
SAT techniques for knowledge base verification
O. Tveretina, H. Zantema
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review