2266 search results - page 419 / 454 » Evolutionary Algorithms for the Satisfiability Problem |
131
click to vote
RSA
2008
15 years 2 months 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...
130
Voted
JUCS
2010
15 years 1 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...
157
Voted
PERCOM
2010
ACM
15 years 1 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...
123
Voted
CP
2010
Springer
15 years 19 days 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...
94
Voted
HCI
2009
15 years 12 days 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...