![]() |
Volumn , Issue , 2002, Pages 457-464
|
Size space tradeoffs for resolution
|
Author keywords
[No Author keywords available]
|
Indexed keywords
ALGORITHMS;
BOUNDARY CONDITIONS;
GRAPH THEORY;
HEURISTIC METHODS;
PROBLEM SOLVING;
THEOREM PROVING;
CONSTANT WIDTH;
LINEAR SIZE;
REGULAR RESOLUTION;
SIZE SPACE TRADEOFFS;
COMPUTATIONAL COMPLEXITY;
|
EID: 0036038648
PISSN: 07349025
EISSN: None
Source Type: Conference Proceeding
DOI: 10.1145/509973.509975 Document Type: Conference Paper |
Times cited : (33)
|
References (35)
|