Greedy pebbling for proof space compression.

Andreas Fellner Bruno Woltzenlogel Paleo

Published in: Int. J. Softw. Tools Technol. Transf. (2019)

Keyphrases

search space
greedy algorithm
low dimensional
artificial intelligence
compression scheme
genetic algorithm
feature selection
data compression
knowledge base
search algorithm
dynamic programming
description logics
compression ratio
theorem prover
clause learning