2266 search results - page 419 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
123
click to vote
RSA
2008
15 years 29 days ago
2008
For a graph property P, the edit distance of a graph G from P, denoted EP (G), is the minimum number of edge modifications (additions or deletions) one needs to apply to G in orde...
120
click to vote
JUCS
2010
14 years 12 months ago
2010
: Given a multiple power sum (extending polynomial’s exponents to real numbers), the positive root isolation problem is to find a list of disjoint intervals, satisfying that the...
144
click to vote
PERCOM
2010
ACM
14 years 12 months ago
2010
ACM
Abstract—Service composition schemes create high-level application services by combining several basic services. Service composition schemes for dynamic, open systems, such as th...
113
click to vote
CP
2010
Springer
14 years 11 months ago
2010
Springer
We present two heuristics based on constraint technology that solve the problem of generating air traffic management contingency plans, which are used in the case of a catastrophic...
HCI
2009
14 years 11 months ago
2009
Abstract. Scheduling staff shift work in a hospital ward is a well-known problem in the operation research field but, as such, it is very often studied from the algorithmic point o...