Symmetry breaking in a new stable model search method.

Tarek Khaled Belaid Benhamou

Published in: LPAR (Workshop and Short Papers) (2018)

Keyphrases

objective function
symmetry breaking
search strategy
cost function
genetic algorithm
search algorithm
search methods