An Efficient Subsumption Test Pipeline for BS(LRA) Clauses.

Martin Bromberger Lorenz Leutgeb Christoph Weidenbach

Published in: IJCAR (2022)

Keyphrases

description logics
base station
test cases
refinement operators
genetic algorithm
np complete
first order logic
test data
search space
transitive closure