文章基本信息

标题：Propuestas Algorítmicas para la Resolución de los Problemas de Satisfactibilidad
本地全文：下载
作者：Guillermo de Ita Luna
期刊名称：Computación y Sistemas
印刷版ISSN：1405-5546
出版年度：1999
卷号：2
期号：2-3
页码：140-145
语种：Spanish
出版社：Instituto Politécnico Nacional