Login / Signup
An Effective SAT Encoding for Magic Labeling.
Gerold Jäger
Published in:
CTW (2010)
Keyphrases
</>
sat encodings
linear programming
reinforcement learning
cost function