Title: Algorithmic aspects of ordered structures