Login / Signup

Learning in a Compiler for MINSAT Algorithms.

Anja RemshagenKlaus Truemper
Published in: Theory Pract. Log. Program. (2003)
Keyphrases
  • learning algorithm
  • combinatorial optimization problems
  • orders of magnitude
  • data structure
  • programming language
  • ant colony optimization
  • heuristic search
  • combinatorial optimization
  • inductive inference