13987 search results - page 329 / 2798 » The Two Guards Problem |
167
click to vote
EOR
2010
15 years 6 months ago
2010
The Satisfactory Partition problem asks for 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 neighbor...
152
click to vote
ENTCS
2008
15 years 6 months ago
2008
Efficient handling of quantifiers is crucial for solving software verification problems. E-matching algorithms are used in satisfiability modulo theories solvers that handle quant...
148
click to vote
MOC
2000
15 years 6 months ago
2000
Abstract. The main problem when solving a Thue equation is the computation of the unit group of a certain number field. In this paper we show that the knowledge of a subgroup of fi...
213
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
The state-of-the-art global constraint for bin packing is due to Shaw. We compare two linear continuous relaxations of the bin packing problem, based on the DP-flow and Arc-flow ...
154
click to vote
SIAMCO
2010
15 years 5 months ago
2010
This paper studies a theoretical problem of whether continuous state feedback and affine feedback are equivalent from the point of view of making an affine system defined on a sim...