MDD propagators with explanation
type: Item
instance of: scholarly article
title: MDD propagators with explanation
zbMATH Open document ID: 1241.90066
author: Graeme Gange
author: Radoslaw Szymanek
author: Peter J. Stuckey
published in: Constraints
publication date: 2012-06-20T00:00:00Z
Mathematics Subject Classification ID: 90B50
zbMATH DE Number: 6048450
describes a project that uses: Chaff
describes a project that uses: SLIDE
MaRDI profile type: Publication
full work available at URL: s10601-011-9111-x
OpenAlex ID: W2057501384
cites work: Encodings of the Sequence Constraint
cites work: Graph-Based Algorithms for Boolean Function Manipulation
cites work: Fast Set Bounds Propagation Using a BDD-SAT Hybrid
cites work: Q5715712
cites work: Propagation via lazy clause generation
cites work: Principles and Practice of Constraint Programming – CP 2004
cites work: Global Grammar Constraints
cites work: Decomposing Global Grammar Constraints
cites work: Revisiting the Sequence Constraint
cites work: Branching strategies in a branch-and-price approach for a multiple objective nurse scheduling problem
DOI: 10.1007/S10601-011-9111-X
Recommended article: Explaining the \texttt{cumulative} propagator
Recommended article: MDD Propagation for Sequence Constraints
Recommended article: MDDs are efficient modeling tools: an application to some statistical constraints
Recommended article: Understanding the Potential of Propagators
Recommended article: DROMO propagator revisited
Recommended article: Towards a general construction of recursive MDS diffusion layers
Recommended article: Some Remarks on the Propagator Equation
Recommended article: Almost involutory recursive MDS diffusion layers
description: scientific article; zbMATH DE number 6048450