Towards an Efficient SAT Encoding for Temporal Reasoning.

Duc Nghia Pham, John Thornton, Abdul Sattar

Browse the full CP paper archive.