Login / Signup

SAT Encoding of Partial Ordering Models for Graph Coloring Problems.

Daniel FaberAdalat JabrayilovPetra Mutzel
Published in: CoRR (2024)
Keyphrases
  • partial ordering
  • reinforcement learning
  • probabilistic model
  • computational complexity
  • orders of magnitude
  • partially ordered
  • sat encodings