601 search results - page 33 / 121 » Quantified Equality Constraints |
102
Voted
EOR
2008
15 years 23 days ago
2008
Consider a problem of minimizing a separable, strictly convex, monotone and differentiable function on a convex polyhedron generated by a system of m linear inequalities. The probl...
CIE
2008
Springer
15 years 24 days ago
2008
Springer
We study the complexity of the model checking problem, for fixed models A, over certain fragments L of first-order logic, obtained by restricting which of the quantifiers and boole...
100
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
— Relay networks have received considerable attention recently, especially when limited size and power resources impose constraints on the number of antennas within a wireless se...
103
click to vote
CAV
2009
Springer
16 years 1 months ago
2009
Springer
We describe a Markov chain Monte Carlo (MCMC)-based algorithm for sampling solutions to mixed Boolean/integer constraint problems. The focus of this work differs in two points from...
96
Voted
AAAI
2007
15 years 3 months ago
2007
We present a general framework for determining the number of solutions of constraint satisfaction problems (CSPs) with a high precision. Our first strategy uses additional binary...