A declarative encoding of telecommunications feature subscription in SAT.

Michael Codish Samir Genaim Peter J. Stuckey

Published in: PPDP (2009)

Keyphrases

feature vectors
pseudo boolean constraints
sat encodings
high level
knowledge representation
satisfiability problem
image features
domain independent
phase transition
sat solvers
feature selection
search algorithm
lower bound
feature set
max sat
graph coloring