Explanation in constraint satisfaction: A survey

Much of the focus on explanation in the field of artificial intelligence has focused on machine learning methods and, in particular, concepts produced by advanced methods such as neural networks and deep learning. However, there has been a long history of explanation generation in the general field of constraint satisfaction, one of the AI's most ubiquitous subfields. In this paper we survey the major seminal papers on the explanation and constraints, as well as some more recent works. The survey sets out to unify many disparate lines of work in areas such as model-based diagnosis, constraint programming, Boolean satisfiability, truth maintenance systems, quantified logics, and related areas

Constraint Programming-Based Heuristics for the Multi-Depot Vehicle Routing Problem with a Rolling Planning Horizon

Der Transportmarkt ist sowohl durch einem intensiven Kostenwettbewerb als auch durch hohe Erwartungen der Kunden an den Service geprägt. Die vorliegende Dissertation stellt zwei auf Constraint Programming basierende heuristische Frameworks vor, die eine Reoptimierung bereits geplanter Touren zu festgelegten Zeitpunkten erlauben und so eine Reaktion auf die gesteigerte Wettbewerbsdynamik und den Kostendruck ermöglichen.Actors on the transportation market currently face two contrary trends: Cost pressure caused by intense competition and a need for prompt service. We introduce two heuristic solution frameworks to enable freight carriers to deal with this situation by reoptimizing tours at predefined points in time. Both heuristics are based on Constraint Programming techniques