Sciweavers

FLAIRS
2000
13 years 5 months ago
Simultaneous Search in Connection Tableau Calculi by Means of Disjunctive Constraints
Automatedtheorem proving with connection tableau calculi imposessearch problemsin tremendoussearch spaces. In this paper, wepresent a newapproachto search space reduction in conne...
Ortrun Ibens