Temporal induction by incremental SAT solving.

Niklas Eén Niklas Sörensson

Published in: Electron. Notes Theor. Comput. Sci. (2003)

Keyphrases

sat solving
sat solvers
boolean satisfiability
boolean optimization
reinforcement learning
scheduling problem
temporal reasoning
information retrieval
special case
orders of magnitude
constraint satisfaction
temporal constraints
sat problem
clause learning
sat encodings