9842 search results - page 21 / 1969 » The Complexity of the Matching-Cut Problem |
CORR
2002
Springer
13 years 7 months ago
2002
Springer
The Inductive Logic Programming community has considered proof-complexity and model-complexity, but, until recently, size-complexity has received little attention. Recently a chal...
IJKL
2007
13 years 7 months ago
2007
: Knowledge Management (KM) concerns innovating, spreading, sharing and using of knowledge assets. Dynamic knowledge flow management consists of cognition-compliant knowledge trans...
SIAMCOMP
2000
13 years 7 months ago
2000
-fields are a very general class of difference fields that enable one to discover and prove multisum identities arising in combinatorics and special functions. In this article we f...
EAAI
2010
13 years 6 months ago
2010
Aircraft sizing studies consist in determining the main characteristics of an aircraft starting from a set of requirements. These studies can be summarized as global constrained o...
CORR
2010
Springer
13 years 2 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...