A generic arc-consistency algorithm and its specializations

Abstract
No abstract available