SARA
2000
Springer
15 years 5 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...
82
Voted
SARA
2000
Springer
15 years 5 months ago
2000
Springer
84
Voted
SARA
2000
Springer
15 years 5 months ago
2000
Springer
86
Voted
SARA
2000
Springer
15 years 5 months ago
2000
Springer
77
Voted
SARA
2000
Springer
15 years 5 months ago
2000
Springer
118
Voted
SARA
2000
Springer
15 years 5 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
15 years 5 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...