Login / Signup

A SAT Attack on Rota's Basis Conjecture.

Markus KirchwegerManfred ScheucherStefan Szeider
Published in: SAT (2022)
Keyphrases
  • sat solvers
  • search algorithm
  • data sets
  • stochastic local search algorithms