Boosting Definability Bipartition Computation Using SAT Witnesses.

Jean-Marie Lagniez Pierre Marquis

Published in: JELIA (2023)

Keyphrases

feature selection
learning algorithm
sat solvers
combining multiple
machine learning
knowledge representation
fixed point
ensemble learning
sat problem
data sets
search algorithm
np complete
boosting framework