Long-Distance Resolution: Proof Generation and Strategy Extraction in Search-Based QBF Solving.

Uwe Egly Florian Lonsing Magdalena Widl

Published in: LPAR (2013)

Keyphrases

long distance
search strategy
mutual exclusion
search algorithm
search strategies
search space
information extraction
search methods
search problems
proof search
upper layer
search heuristics
data management
np complete
theorem proving