Sciweavers

page 174 / 60054
» publications
Sort
View
ALT
2009
Springer
15 years 11 months ago
Inference and Learning in Planning
Hector Geffner
ATVA
2009
Springer
106views Hardware» more  ATVA 2009»
15 years 11 months ago
Verifying VLSI Circuits
Mark R. Greenstreet
CPM
2009
Springer
93views Combinatorics» more  CPM 2009»
15 years 11 months ago
Fast Searching in Packed Strings
Philip Bille
« Prev « First page 174 / 60054 Last » Next »