Sciweavers

3019 search results - page 213 / 604
» Approximating the Domatic Number
Sort
View
WEA
2005
Springer
100views Algorithms» more  WEA 2005»
15 years 12 months ago
Rounding to an Integral Program
We present a general framework for approximating several NP-hard problems that have two underlying properties in common. First, the problems we consider can be formulated as intege...
Refael Hassin, Danny Segev
SAGT
2009
Springer
108views Game Theory» more  SAGT 2009»
15 years 11 months ago
Nash Dynamics in Constant Player and Bounded Jump Congestion Games
We study the convergence time of Nash dynamics in two classes of congestion games – constant player congestion games and bounded jump congestion games. It was shown by Ackermann ...
Tanmoy Chakraborty, Sanjeev Khanna
ECAI
2006
Springer
15 years 10 months ago
Extracting MUSes
Minimally unsatisfiable subformulas (in short, MUSes) represent the smallest explanations for the inconsistency of SAT instances in terms of the number of involved clauses. Extract...
Éric Grégoire, Bertrand Mazure, C&ea...
CORR
2002
Springer
95views Education» more  CORR 2002»
15 years 6 months ago
On the survey-propagation equations for the random K-satisfiability problem
In this note we study the existence of a solution to the survey-propagation equations for the random K-satisfiability problem for a given instance. We conjecture that when the num...
Giorgio Parisi
FFA
2010
84views more  FFA 2010»
15 years 5 months ago
Generating series for irreducible polynomials over finite fields
We count the number of irreducible polynomials in several variables of a given degree over a finite field. The results are expressed in terms of a generating series, an exact for...
Arnaud Bodin