Sign in

A MINSAT Approach for Learning in Logic Domains.

Giovanni FeliciKlaus Truemper
Published in: INFORMS J. Comput. (2002)
Keyphrases
  • reinforcement learning
  • learning algorithm
  • special case
  • branch and bound algorithm
  • combinatorial optimization problems
  • inductive inference