Abstract:TCSPs (Temporal Constraint Satisfaction Problems), as defined in [Dechter et al., 1991], get rid of unary constraints by binarizing them after having added an "origin of the world" variable. In this work, we look at the constraints between the "origin of the world" variable and the other variables, as the (binarized) domains of these other variables. With this in mind, we define a notion of arc-consistency for TCSPs, which we will refer to as binarized-domains Arc-Consistency, or bdArc-Consistency for short. We provide an algorithm achieving bdArc-Consistency for a TCSP, which we will refer to as bdAC-3, for it is an adaptation of Mackworth's [1977] well-known arc-consistency algorithm AC-3. We show that if a convex TCSP, referred to in [Dechter et al., 1991] as an STP (Simple Temporal Problem), is bdArc-Consistent, and its "origin of the world" variable disconnected from none of the other variables, its binarized domains are minimal. We provide two polynomial backtrack-free procedures: one for the task of getting, from a bdArc-Consistent STP, either that it is inconsistent or, in case of consistency, a bdArc-Consistent STP refinement whose "origin of the world" variable is disconnected from none of the other variables; the other for the task of getting a solution from a bdArc-Consistent STP whose "origin of the world" variable is disconnected from none of the other variables. We then show how to use our results both in a general TCSP solver and in a TCSP-based job shop scheduler. From our work can be extracted a one-to-all all-to-one shortest paths algorithm of an IR-labelled directed graph. Finally, we show that an existing adaptation to TCSPs of Mackworth's [1977] path-consistency algorithm PC-2 is not guaranteed to always terminate, and correct it.

SAT v CSP

A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability

Between SAT and UNSAT: The Fundamental Difference in CDCL SAT

Exploring Directional Path-Consistency for Solving Constraint Networks

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems

Multi-level Strategy for Maintaining Arc Consistency in Problem Solving and Its Implementation

From K-Sat to K-Csp: Two Generalized Algorithms

CCASat: solver description

A binarized-domains arc-consistency algorithm for TCSPs: its computational analysis and its use as a filtering procedure in solution search algorithms

Satisfiability of commutative vs. non-commutative CSPs

Sandwiches for Promise Constraint Satisfaction

Soft arc consistency revisited

On Approximability of Satisfiable k-CSPs: V

SDPs and Robust Satisfiability of Promise CSP

Unifying Search-based and Compilation-based Approaches to Multi-agent Path Finding through Satisfiability Modulo Theories

An invitation to the promise constraint satisfaction problem

Performance Comparison of Arc Consistency Algorithms

Algebraic Global Gadgetry for Surjective Constraint Satisfaction

Local consistency as a reduction between constraint satisfaction problems

A reasoning method for resolving spatial constraint satisfactory problem

Consistency and Random Constraint Satisfaction Models