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

What's New In QBF Solving? : (Invited Talk).

Martina Seidl
Published in: SYNASC (2022)
Keyphrases
  • invited talk
  • selected papers
  • knowledge discovery and data mining
  • neural network
  • combinatorial optimization
  • stochastic local search
  • artificial intelligence
  • information technology