SAT techniques for knowledge base verification

O. Tveretina, H. Zantema

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002)
Place of PublicationAthens, Greece
PublisherWorld Scientific and Engineering Academy and Society (WSEAS)
Pages213-217
Publication statusPublished - 2002

Cite this