Login / Signup

Partial Compilation of SAT Using Selective Backbones.

Andrea BaloghGuillaume EscamocherBarry O'Sullivan
Published in: ECAI (2023)
Keyphrases
  • model counting
  • satisfiability problem
  • sat solvers
  • search algorithm
  • evolutionary algorithm
  • phase transition
  • sat problem
  • sat solving
  • neural network
  • np complete
  • sat instances
  • stochastic local search