Login / Signup

SAT Encoding of Partial Ordering Models for Graph Coloring Problems.

Daniel FaberAdalat JabrayilovPetra Mutzel
Published in: SAT (2024)
Keyphrases
  • partial ordering
  • partially ordered
  • simulated annealing
  • total ordering