4131 search results - page 116 / 827 » The Generalized Max-Controlled Set Problem |
111
click to vote
DAM
2006
15 years 3 months ago
2006
The Satisfactory Partition problem consists in deciding if a given graph has a partition of its vertex set into two nonempty parts such that each vertex has at least as many neigh...
150
click to vote
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Query containment is a fundamental problem of databases. Given two queries q1 and q2, it asks whether the set of answers to q1 is included in the set of answers to q2 for any datab...
107
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
This paper addresses single and multiple container loading problems. We propose to use dynamic prioritization to handle awkward box types. The box type with a higher priority will...
171
Voted
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...
106
Voted
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
Forma analysis provides an approach to formally derive domain specific operators based on domain-independent operator templates by manipulating a set of equivalence relations (i....