Constructive negation by bottom-up computation of literal answers

Javier Álvez, Paqui Lucio, Fernando Orejas. Constructive negation by bottom-up computation of literal answers. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004. pages 1468-1475, ACM, 2004. [doi]

Abstract

Abstract is missing.