Sciweavers

1136 search results - page 5 / 228
» Finding Small Holes
Sort
View
COCOON
2006
Springer
15 years 9 months ago
Finding Small OBDDs for Incompletely Specified Truth Tables Is Hard
We present an efficient reduction mapping undirected graphs G with n = 2k vertices for integers k to tables of partially specified Boolean functions g : {0, 1}4k+1 {0, 1, } so tha...
Jesper Torp Kristensen, Peter Bro Miltersen
STOC
2006
ACM
106views Algorithms» more  STOC 2006»
16 years 6 months ago
Finding small balanced separators
Let G be an n-vertex graph that has a vertex separator of size k that partitions the graph into connected components of size smaller
Uriel Feige, Mohammad Mahdian
COCOON
2009
Springer
16 years 9 days ago
On Finding Small 2-Generating Sets
Given a set of positive integers S, we consider the problem of finding a minimum cardinality set of positive integers X (called a minimum 2-generating set of S) s.t. every element...
Isabelle Fagnot, Guillaume Fertin, Stéphane...
IWPEC
2004
Springer
15 years 11 months ago
On Finding Short Resolution Refutations and Small Unsatisfiable Subsets
Michael R. Fellows, Stefan Szeider, Graham Wrights...