Sign in

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

Florian LonsingFahiem BacchusArmin BiereUwe EglyMartina Seidl
Published in: LPAR (2015)
Keyphrases
  • search space
  • search strategies
  • boolean formula
  • search algorithm
  • dynamic environments
  • knowledge representation
  • linear programming
  • search methods
  • search heuristics