Sign in

Finding Orthogonal Arrays Using Satisfiability Checkers and Symmetry Breaking Constraints.

Feifei MaJian Zhang
Published in: PRICAI (2008)
Keyphrases
  • symmetry breaking
  • phase transition
  • propositional logic
  • game playing
  • computational complexity
  • np complete
  • cellular automata
  • constraint programming
  • satisfiability problem
  • integer linear programming