Sciweavers

13306 search results - page 84 / 2662
» Theoretical Computer Science
Sort
View
FOCS
1998
IEEE
15 years 11 months ago
Improved Bounds and Algorithms for Hypergraph Two-Coloring
Jaikumar Radhakrishnan, Aravind Srinivasan
RTA
1999
Springer
15 years 11 months ago
Jeopardy
Nachum Dershowitz, Subrata Mitra
141
Voted
SPIN
1999
Springer
15 years 11 months ago
Analyzing Mode Confusion via Model Checking
Gerald Lüttgen, Victor Carreño