Constructive negation by bottom-up computation of literal answers
Aktak:
Proceedings of the ACM Symposium on Applied Computing
Argitalpen urtea: 2004
Alea: 2
Orrialdeak: 1468-1475
Mota: Biltzar ekarpena