Login / Signup

Efficient SAT-based techniques for Design of Experiments by using static variable ordering.

Miroslav N. VelevPing Gao
Published in: ISQED (2009)
Keyphrases
  • variable ordering
  • knowledge based systems
  • optimal solution
  • cost function