Login / Signup

Variable Minimal Unsatisfiability.

Zhenyu ChenDecheng Ding
Published in: TAMC (2006)
Keyphrases
  • max sat
  • genetic algorithm
  • computational complexity