Search Results for "parallel genetic algorithm"

.... ATS provides the capability to run serial or parallel tests simultaneously up to the resource limits it has been given (i.e. some number of processors on which to run). Tests can be given a priority rating and be dependent upon other tests, and these features are accounted for in its scheduling algorithm. The software is configurable and extensible. ATS provides numerous options for creating dependent chains of tests, filtering based on various criteria, and running tests with custom arguments.

This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

Automatic test generation tool for Java, based on genetic algorithm.