Controlling a Solver Execution with the runsolver Tool.

Olivier Roussel

Published in: J. Satisf. Boolean Model. Comput. (2011)

Keyphrases

evolutionary algorithm
user friendly
data sets
databases
real world
object oriented
software tools
analysis tool
control flow