QMaxSAT version 0.3 & 0.4.

Xuanye An Miyuki Koshimura Hiroshi Fujita Ryuzo Hasegawa

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

database
artificial intelligence
e learning
knowledge base
decision trees
data structure
search space
image registration