Sciweavers

1840 search results - page 15 / 368
» time 2002
Sort
View
TOCL
2002
54views more  TOCL 2002»
13 years 7 months ago
Datalog LITE: a deductive query language with linear time model checking
Georg Gottlob, Erich Grädel, Helmut Veith
TRANSCI
2002
57views more  TRANSCI 2002»
13 years 7 months ago
A Branch-and-Cut Procedure for the Vehicle Routing Problem with Time Windows
Jonathan F. Bard, George Kontoravdis, Gang Yu