Login / Signup

A Fast Algorithm for SAT in Terms of Formula Length.

Junqiang PengMingyu Xiao
Published in: SAT (2021)
Keyphrases
  • search algorithm
  • satisfiability problem
  • neural network
  • genetic algorithm
  • np hard
  • constraint satisfaction problems
  • model checking