Optmial Encodings.

Massimo Marchiori

Published in: SOFSEM (1997)

Keyphrases

orders of magnitude
planning problems
non binary
databases
information retrieval
decision making
objective function
special case
software engineering
sat encodings