7092 search results - page 219 / 1419 » Parallelizing constraint programs |
136
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...
179
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Measuring graph similarity is a key issue in many applications. We propose a new constraint-based modeling language for defining graph similarity measures by means of constraints. ...
99
Voted
CSB
2005
IEEE
15 years 6 months ago
2005
IEEE
A linear programming algorithm is presented to constructively compute thermodynamically feasible fluxes and change in chemical potentials of reactions for a metabolic network. It...
104
click to vote
BMCBI
2008
15 years 19 days ago
2008
Background: The availability of complete genomic sequences for hundreds of organisms promises to make obtaining genome-wide estimates of substitution rates, selective constraints ...
111
Voted
IPCO
2008
15 years 1 months ago
2008
Orbital branching is a method for branching on variables in integer programming that reduces the likelihood of evaluating redundant, isomorphic nodes in the branch-and-bound proce...