Authors: BENNACEUR H PLATEAU G

Citation: H. Bennaceur et G. Plateau, AN EXACT ALGORITHM FOR THE CONSTRAINT SATISFACTION PROBLEM - APPLICATION TO LOGICAL INFERENCE, Information processing letters, 48(3), 1993, pp. 151-158