Applying Local Search to Temporal Reasoning.

John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher

Browse the full TIME paper archive.