Efficient Conflict Analysis for Finding All Satisfying Assignments of a Boolean Circuit.

HoonSang Jin HyoJung Han Fabio Somenzi

Published in: TACAS (2005)

Keyphrases

high speed
data sets
real valued
information retrieval
genetic algorithm
decision making
image processing
image segmentation
lower bound
multiresolution
statistical analysis
microarray