Sign in

Optimization of Combinatorial Testing by Incremental SAT Solving.

Akihisa YamadaTakashi KitamuraCyrille ArthoEun-Hye ChoiYutaka OiwaArmin Biere
Published in: ICST (2015)
Keyphrases
  • sat solving
  • optimization algorithm
  • optimization problems
  • sat solvers
  • dynamic programming
  • genetic algorithm
  • linear programming
  • sat problem