Sciweavers

143 search results - page 4 / 29
» ijcai 2001
Sort
View
IJCAI
2001
14 years 11 months ago
Identification Constraints and Functional Dependencies in Description Logics
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
IJCAI
2001
14 years 11 months ago
Adaptive Web Navigation for Wireless Devices
Corin R. Anderson, Pedro Domingos, Daniel S. Weld
IJCAI
2001
14 years 11 months ago
A backbone-search heuristic for efficient solving of hard 3-SAT formulae
Of late, new insight into the study of random -SAT
Olivier Dubois, Gilles Dequen