Sign in
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