Login / Signup

Small Unsatisfiable k-CNFs with Bounded Literal Occurrence.

Tianwei ZhangTomás PeitlStefan Szeider
Published in: SAT (2024)
Keyphrases
  • small number
  • database
  • data sets
  • cnf formula