Cooperation between top-down and bottom-up theorem provers
Journal of Artificial Intelligence Research
Lemma generation for model elimination by combining top-down and bottom-up inference
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Cooperation of heterogeneous provers
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
On the Use of Subgoal Clauses in Bottom-up and Top-down Calculi
Fundamenta Informaticae
Hi-index | 0.00 |