Login / Signup
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions.
Daniel Larraz
Albert Oliveras
Enric Rodríguez-Carbonell
Albert Rubio
Published in:
SAT (2014)
Keyphrases
</>
strengths and weaknesses
constrained optimization
linear programming problems
information retrieval
knowledge base
decision trees
integer program
constrained problems
reducing the search space