Login / Signup

SATLab: X-Raying Random k-SAT - (Tool Presentation).

Thomas Hugel
Published in: SAT (2012)
Keyphrases
  • orders of magnitude
  • satisfiability problem
  • software tools
  • multimedia
  • phase transition
  • search space
  • visual representations
  • variable ordering