A B C D E F G H I-J K L M N-O P Q-R S T-V W X-Z
close this section of the libraryX. Chen
View the documentX. Chen Conflict-Directed Backjumping Revisited - X. Chen and P. van Beek