Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination.

Florian Lonsing Fahiem Bacchus Armin Biere Uwe Egly Martina Seidl

Published in: LPAR (2015)

Keyphrases

search space
search strategies
boolean formula
search algorithm
dynamic environments
knowledge representation
linear programming
search methods
search heuristics