Title :
40th Annual Symposium on Foundations of Computer Science (Cat. No.99CB37039)
Abstract :
The following topics are dealt with: computational complexity; approximation algorithms; upper and lower bounds; proof systems; load balancing; graph theory; combinatorial algorithms; satisfiability and computability; search problems; optimisation; cryptography theory; facility location; and formal languages
Keywords :
algorithm theory; computability; cryptography; facility location; formal languages; graph theory; optimisation; resource allocation; theorem proving; approximation algorithms; combinatorial algorithms; computability; computational complexity; cryptography theory; facility location; formal languages; graph theory; load balancing; lower bounds; optimisation; proof systems; satisfiability; search problems;
Conference_Titel :
Foundations of Computer Science, 1999. 40th Annual Symposium on
Conference_Location :
New York City, NY, USA
Print_ISBN :
0-7695-0409-4
DOI :
10.1109/SFFCS.1999.814570