Solving Constraint Satisfaction Problems with NB-Resolution

Alan M. Frisch. Solving Constraint Satisfaction Problems with NB-Resolution. Electron. Trans. Artif. Intell., 3(B):105-120, 1999. [doi]

Abstract

Abstract is missing.