Login / Signup

Solving Open Questions and Other Challenge Problems Using Proof Sketches.

Robert Veroff
Published in: J. Autom. Reason. (2001)
Keyphrases
  • open questions
  • solving problems
  • solving complex
  • combinatorial optimization
  • problems involving
  • data sets
  • real world
  • machine learning
  • search algorithm
  • optimization problems
  • future directions
  • constrained problems