SAT techniques for knowledge base verification

O. Tveretina; H. Zantema

SAT techniques for knowledge base verification

O. Tveretina
, H. Zantema

Formal System Analysis

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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
Pages	213-217
Publication status	Published - 2002

Cite this

@inproceedings{331f1eb5375749a2bbdf61abeeb6b156,

title = "SAT techniques for knowledge base verification",

author = "O. Tveretina and H. Zantema",

year = "2002",

language = "English",

pages = "213--217",

booktitle = "Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002)",

publisher = "World Scientific and Engineering Academy and Society",

address = "Greece",

}

SAT techniques for knowledge base verification. / Tveretina, O.; Zantema, H.
Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002). Athens, Greece: World Scientific and Engineering Academy and Society, 2002. p. 213-217.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - SAT techniques for knowledge base verification

AU - Tveretina, O.

AU - Zantema, H.

PY - 2002

Y1 - 2002

M3 - Conference contribution

SP - 213

EP - 217

BT - Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002)

PB - World Scientific and Engineering Academy and Society

CY - Athens, Greece

ER -