• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Search-Space Pruning with Int-Splits for Faster QBF Solving.

Maximilian HeisingerIrfansha ShaikMartina SeidlJaco van de Pol
Published in: CoRR (2023)
Keyphrases
  • search space pruning
  • np hard
  • constraint satisfaction
  • genetic algorithm
  • solving problems
  • memory efficient
  • quantified boolean formulas