Search Sciweavers | Sciweavers

12015 search results - page 86 / 2403

» Interactive Algorithms 2005

185

click to vote

AAIM
2005
Springer

173views Algorithms» more AAIM 2005»

Level of Repair Analysis and Minimum Cost Homomorphisms of Graphs

15 years 11 months ago

Download eprints.ma.man.ac.uk

Gregory Gutin, Arash Rafiey, Anders Yeo, Michael T...

claim paper

Read More »

click to vote

APPROX
2005
Springer

71views Algorithms» more APPROX 2005»

What Would Edmonds Do? Augmenting Paths and Witnesses for Degree-Bounded MSTs

15 years 11 months ago

Download research.microsoft.com

Kamalika Chaudhuri, Satish Rao, Samantha Riesenfel...

claim paper

Read More »

124

click to vote

APPROX
2005
Springer

114views Algorithms» more APPROX 2005»

Finding Graph Matchings in Data Streams

15 years 11 months ago

Download www.cs.umass.edu

Andrew McGregor

claim paper

Read More »

140

click to vote

SAT
2005
Springer

98views Hardware» more SAT 2005»

Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable

15 years 11 months ago

Download www.ti.inf.ethz.ch

We present an algorithm that decides the satisﬁability of a

Magnus Wahlström

claim paper

Read More »

110

click to vote

TACAS
2005
Springer

89views Algorithms» more TACAS 2005»

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers