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 libraryP. van Beek
View the documentP. van Beek The Design and Experimental Analysis of Algorithms for Temporal Reasoning - P. van Beek and D. W. Manchak
View the documentP. van Beek Conflict-Directed Backjumping Revisited - X. Chen and P. van Beek