The interface between P and NP in signed CNF formulas

التفاصيل البيبلوغرافية
العنوان: The interface between P and NP in signed CNF formulas
المؤلفون: Ansotegui, C., Bejar, R., Cabiscol, A., Manya, F.
المصدر: Proceedings. 34th International Symposium on Multiple-Valued Logic Mulitple-valued logic Multiple-Valued Logic, 2004. Proceedings. 34th International Symposium on. :251-256 2004
Relation: Proceedings. 34th International Symposium on Multiple-Valued Logic
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:0769521304
9780769521305
تدمد:0195623X
DOI:10.1109/ISMVL.2004.1319950