SAT techniques for knowledge base verification

Authors :: Tveretina, O.
Zantema, H.
Design and Analysis of Systems
Formal System Analysis
Source :: Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002), 213-217, STARTPAGE=213;ENDPAGE=217;TITLE=Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002)
Publication Year :: 2002
Publisher :: World Scientific and Engineering Academy and Society (WSEAS), 2002.

Language :: English
Database :: OpenAIRE
Journal :: Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002), 213-217, STARTPAGE=213;ENDPAGE=217;TITLE=Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002)
Accession number :: edsair.narcis........ec2ac66f85a8491e4806e2881d7d43fe

Tools