Towards an Efficient SAT Encoding for Temporal Reasoning.

Duc Nghia Pham John Thornton Abdul Sattar

Published in: CP (2006)

Keyphrases

temporal reasoning
sat encodings
temporal constraints
temporal information
qualitative and quantitative
constraint networks
temporal knowledge
temporal constraint networks
image sequences
special case
sat solvers