Sciweavers

76
Voted
FLAIRS
2000
14 years 11 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