Conteo de modelos en la clase sintactica 2m-3MON
[摘要] El problema de conteo de modelos eń formulas Booleanas es un problema #P-completo, es decir, no se conocen algoritmos deterministaś́ en el modelo cla...
[发布日期] [发布机构]
[效力级别] [学科分类] 电子、光学、磁材料
[关键词] #SAT;clase sintactica;hipergrafo. [时效性]
