HOME
HELP
PREFERENCES
Creators
Search
Titles
Creators
Volume
Phrases
A
B
C
D
E
F
G
H
I-J
K
L
M
N-O
P
Q-R
S
T-V
W
X-Z
P. van Beek
P. van Beek
The Design and Experimental Analysis of Algorithms for Temporal Reasoning
- P. van Beek and D. W. Manchak
P. van Beek
Conflict-Directed Backjumping Revisited
- X. Chen and P. van Beek