2254 search results - page 160 / 451 » Computing the minimal covering set |
161
click to vote
CP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Many symmetry breaking techniques assume that the symmetries of a CSP are given as input in addition to the CSP itself. We present a method that can be used to detect all...
185
click to vote
ANTS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We answer a question asked by Hajdu and Tengely: The only arithmetic progression in coprime integers of the form (a2 , b2 , c2 , d5 ) is (1, 1, 1, 1). For the proof, we ï...
136
click to vote
AIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
208
click to vote
MKWI
2008
15 years 8 months ago
2008
: Software engineering provides a rich set of methods and tools that cover the entire engineering process. However, there still exist major problems in integrating methods that add...
173
click to vote
SIROCCO
1998
15 years 8 months ago
1998
We consider broadcasting on asynchronous anonymous totally unoriented Nnode hypercubes. First we generalize a technique, introduced in 3 , for partial broadcasting and orientation...