Login / Signup

Small unsatisfiable k-CNFs with bounded literal occurrence.

Tianwei ZhangTomás PeitlStefan Szeider
Published in: CoRR (2024)
Keyphrases
  • phase transition
  • neural network
  • genetic algorithm
  • fuzzy logic
  • simulated annealing
  • orders of magnitude