58 search results - page 1 / 12 » Satisfiability and Computing van der Waerden Numbers |
COMBINATORICS
2004
13 years 4 months ago
2004
In this paper we bring together the areas of combinatorics and propositional satisfiability. Many combinatorial theorems establish, often constructively, the existence of positive...
COMBINATORICS
2004
13 years 4 months ago
2004
Consider natural numbers {1,
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping b...
FPL
2005
Springer
13 years 9 months ago
2005
Springer
We present experimental evidence that multiple compute-units, compiled from sequential high-level language input programs, can be merged into a reduced number of configurations f...
BPM
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We propose a resource management policy that grants or refuses requests for resources based only on the request made and the number of free resources. Computations at run...