Search Sciweavers | Sciweavers

12015 search results - page 86 / 2403

» Interactive Algorithms 2005

click to vote

AAIM
2005
Springer

173views Algorithms» more AAIM 2005»

Level of Repair Analysis and Minimum Cost Homomorphisms of Graphs

14 years 2 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

14 years 2 months ago

Download research.microsoft.com

Kamalika Chaudhuri, Satish Rao, Samantha Riesenfel...

claim paper

Read More »

click to vote

APPROX
2005
Springer

114views Algorithms» more APPROX 2005»

Finding Graph Matchings in Data Streams

14 years 2 months ago

Download www.cs.umass.edu

Andrew McGregor

claim paper

Read More »

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

14 years 2 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 »

click to vote

TACAS
2005
Springer

89views Algorithms» more TACAS 2005»

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

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers