Sciweavers

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