Volume 18; Issue 3

Journal of Automated Reasoning

Volume 18; Issue 3
1

CNF and DNF Considered Harmful for Computing Prime Implicants/Implicates

Année:
1997
Langue:
english
Fichier:
PDF, 211 KB
english, 1997
2

Computing Circumscription Revisited: A Reduction Algorithm

Année:
1997
Langue:
english
Fichier:
PDF, 377 KB
english, 1997
3

Evaluation of Queries under Closed-World Assumption

Année:
1997
Langue:
english
Fichier:
PDF, 450 KB
english, 1997
4

Coloring Terms to Control Equational Reasoning

Année:
1997
Langue:
english
Fichier:
PDF, 471 KB
english, 1997