144 search results - page 2 / 29 » Time-Space Tradeoffs for Satisfiability |
185
Voted
KI
2001
Springer
15 years 12 months ago
2001
Springer
Having to cope with memory limitations is an ubiquitous issue in heuristic search. We present theoretical and practical results on new variants for exploring state-space with respe...
152
Voted
FOCS
1998
IEEE
15 years 11 months ago
1998
IEEE
141
Voted
FOCS
1990
IEEE
15 years 11 months ago
1990
IEEE
154
Voted
FOCS
2004
IEEE
15 years 11 months ago
2004
IEEE