SAT techniques for knowledge base verification

O. Tveretina; H. Zantema

SAT techniques for knowledge base verification

O. Tveretina
, H. Zantema

Formal System Analysis

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

Originele taal-2	Engels
Titel	Proceedings 3rd International Multiconference on Applied and Theoretical Mathematics (Miedzyzdroje, Poland, September 1-5, 2002)
Plaats van productie	Athens, Greece
Uitgeverij	World Scientific and Engineering Academy and Society
Pagina's	213-217
Status	Gepubliceerd - 2002

Citeer dit

@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. blz. 213-217.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › 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 -