Factoring logic functions using star-colorings.

Tatjana Gerzen Bert Randerath

Published in: Australas. J Comb. (2007)

Keyphrases

multi valued
automated reasoning
classical logic
predicate logic
real time
databases
data mining
learning algorithm
relational structures
job shop scheduling
graph coloring
truth values