SARA
2000
Springer
13 years 8 months ago
2000
Springer
In the past several years, significant progress has been made in finding optimal solutions to combinatorial problems. In particular, random instances of both Rubik's Cube, wi...
SARA
2000
Springer
13 years 8 months ago
2000
Springer
SARA
2000
Springer
13 years 8 months ago
2000
Springer
SARA
2000
Springer
13 years 8 months ago
2000
Springer
SARA
2000
Springer
13 years 8 months ago
2000
Springer
SARA
2000
Springer
13 years 8 months ago
2000
Springer
Cartography is one of the major application areas using geographical databases. Whether it is for the business of producing paper maps for sale, or whether it is for displaying map...
SARA
2000
Springer
13 years 8 months ago
2000
Springer
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...