Search Sciweavers | Sciweavers

13306 search results - page 84 / 2662

» Theoretical Computer Science

click to vote

FOCS
1998
IEEE

70views Theoretical Computer Science» more FOCS 1998»

Improved Bounds and Algorithms for Hypergraph Two-Coloring

15 years 2 months ago

Download mech.math.msu.su

Jaikumar Radhakrishnan, Aravind Srinivasan

claim paper

Read More »

click to vote

MFCS
1999
Springer

71views Theoretical Computer Science» more MFCS 1999»

An Efficient Exact Algorithm for Constraint Bipartite Vertex Cover

15 years 2 months ago

Download theinf1.informatik.uni-jena.de

Henning Fernau, Rolf Niedermeier

claim paper

Read More »

click to vote

MFCS
1999
Springer

79views Theoretical Computer Science» more MFCS 1999»

Message Sequence Graphs and Decision Problems on Mazurkiewicz Traces

15 years 2 months ago

Download www.labri.fr

Anca Muscholl, Doron Peled

claim paper

Read More »

click to vote

RTA
1999
Springer

83views Theoretical Computer Science» more RTA 1999»

Jeopardy

15 years 2 months ago

Download www.spsnational.org

Nachum Dershowitz, Subrata Mitra

claim paper

Read More »

click to vote

SPIN
1999
Springer

95views Theoretical Computer Science» more SPIN 1999»

Analyzing Mode Confusion via Model Checking

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers