Sciweavers

2042 search results - page 86 / 409
» Variable Number of
Sort
View
JCIT
2007
96views more  JCIT 2007»
15 years 3 months ago
Analysis of a Reversed Trapezoidal Fin with Fluid in the Inside Wall
Rt: dimensionless thermal resistance A reversed trapezoidal fin with fluid in the inside wall is analyzed using a two-dimensional analytical method. Thermal resistance for the rev...
Hyung Suk Kang
IPL
2008
111views more  IPL 2008»
15 years 4 months ago
Adding cardinality constraints to integer programs with applications to maximum satisfiability
Max-SAT-CC is the following optimization problem: Given a formula in CNF and a bound k, find an assignment with at most k variables being set to true that maximizes the number of ...
Markus Bläser, Thomas Heynen, Bodo Manthey
FFA
2010
84views more  FFA 2010»
15 years 2 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
AI
2007
Springer
15 years 4 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
Manuel Bodirsky, Martin Kutz
IPL
2008
95views more  IPL 2008»
15 years 4 months ago
Approximating maximum satisfiable subsystems of linear equations of bounded width
We consider the problem known as MAX-SATISFY: given a system of m linear equations over the rationals, find a maximum set of equations that can be satisfied. Let r be the width of...
Zeev Nutov, Daniel Reichman