Proving Unsatisfiability for Problems with Constant Cubic Sparsity.

Philip C. Jackson Jr.

Published in: Artif. Intell. (1992)

Keyphrases

problems involving
data sets
high dimensional
real time
knowledge base
evolutionary algorithm
benchmark problems