Multi-Calendar Appointment Scheduling: Calendar Modeling and Constraint Reasoning

Abstract

This article outlines CaTTS, a language for expressing and solving multi-calendar appointment scheduling problems such as planning a phone conference of persons in di#erent time zones and using di#erent calendars. This article complements [1], which is focused on calendar modeling, with a presentation of the approach's constraint reasonin