11160 search results - page 103 / 2232 » Incompleteness in a General Setting |
SWAT
1994
Springer
14 years 2 months ago
1994
Springer
Trapezoid graphs are a class of cocomparability graphs containing interval graphs and permutation graphs as subclasses. They were introduced by Dagan, Golumbic and Pinter DGP]. Th...
SCL
2008
13 years 10 months ago
2008
The reachable sets of a differential inclusion have nonsmooth topological boundaries in general. The main result of this paper is that under the well
WILF
2005
Springer
14 years 3 months ago
2005
Springer
A prospective study of the use of ordered multi-lattices as underlying sets of truth-values for a generalised framework of logic programming is presented. Specifically, we investi...
ARCS
2004
Springer
14 years 1 months ago
2004
Springer
: In order to investigate the impact of dynamic hardware reconfiguration on general-purpose applications, we present a superscalar micro-architecture that includes a variable numbe...
CP
2006
Springer
14 years 1 months ago
2006
Springer
We describe some new propagators for breaking symmetries in constraint satisfaction problems. We also introduce symmetry breaking constraints to deal with symmetries acting simulta...