Constructive negation by bottom-up computation of literal answers

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

Datum der Publikation: 2004

Ausgabe: 2

Seiten: 1468-1475

Art: Konferenz-Beitrag