Searching for Autarkies to Trim Unsatisfiable Clause Sets.

Mark H. Liffiton Karem A. Sakallah

Published in: SAT (2008)

Keyphrases

genetic algorithm
evolutionary algorithm
search space
cnf formula
propositional formulas
horn clauses
data sets
search algorithm
logic programming
cellular automata
phase transition