729 search results - page 17 / 146 » Solving subgraph isomorphism problems with constraint progra... |
190
click to vote
CP
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. Constraint Programming is a proven successful technique, but it requires skill in modeling problems, and knowledge on how algorithms interact with models. What can be a g...
175
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
144
click to vote
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we develop heuristics for finding good starting points when solving large-scale nonlinear constrained optimization problems (COPs). We focus on nonlinear programmi...
243
click to vote
MP
2008
15 years 6 months ago
2008
Stochastic dominance relations are well-studied in statistics, decision theory and economics. Recently, there has been significant interest in introducing dominance relations into...
193
click to vote
ASP
2005
Springer
16 years 13 days ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...