Login / Signup

Strength Two Covering Arrays Construction Using a SAT Representation.

Daniel Lopez-EscogidoJose Torres-JimenezEduardo Rodriguez-TelloNelson Rangel-Valdez
Published in: MICAI (2008)
Keyphrases
  • covering arrays
  • search algorithm
  • knowledge base
  • data sources
  • satisfiability problem