22 search results - page 5 / 5 » Fractal Parallelism: Solving SAT in Bounded Space and Time |
FSTTCS
2006
Springer
13 years 9 months ago
2006
Springer
A center-transversal line for two finite point sets in R3 is a line with the property that any closed halfspace that contains it also contains at least one third of each point set...
SOFSEM
2000
Springer
13 years 9 months ago
2000
Springer
For half a century since computers came into existence, the goal of finding elegant and efficient algorithms to solve "simple" (welldefined and well-structured) problems ...