Explaining the \texttt{cumulative} propagator (Q647477)

From MaRDI portal





scientific article; zbMATH DE number 5977730
Language Label Description Also known as
default for all languages
No label defined
    English
    Explaining the \texttt{cumulative} propagator
    scientific article; zbMATH DE number 5977730

      Statements

      Explaining the \texttt{cumulative} propagator (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      23 November 2011
      0 references
      \texttt{cumulative} constraint
      0 references
      explanations
      0 references
      nogood learning
      0 references
      lazy clause generation
      0 references
      resource-constrained project scheduling problem
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers