Login / Signup

Random k-GD-Sat Model and its Phase Transition.

Milena Vujosevic-JanicicJelena TomasevicPredrag Janicic
Published in: J. Univers. Comput. Sci. (2007)
Keyphrases
  • phase transition
  • satisfiability problem
  • objective function
  • constraint satisfaction
  • randomly generated