Personal publications
Edgar Altamirano (2 publications)
2003
Edgar Altamirano; Gonzalo Escalada-Imaz The HORN-NNF-SAT problem is linear, , 2003. Abstract
2001
Edgar Altamirano; Gonzalo Escalada-Imaz "Extending polinomiality to a class of non-clausal many-valued Horn-like formulas", Lecture notes in artificial intelligence, vol. 2143: Springer, pp. 792-804, 2001. Abstract