Consistent-Labeling Problems and Their Algorithms

A new parameter is introduced to characterize a type of search problem of broad relevance in artificial intelligence, operations research and symbolic logic. This parameter, which we call inter-var...