Constructive negation by bottom-up computation of literal answers

  1. Álvez, J.
  2. Lucio, P.
  3. Orejas, F.
Proceedings:
Proceedings of the ACM Symposium on Applied Computing

Year of publication: 2004

Volume: 2

Pages: 1468-1475

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus