Pages that link to "Item:Q968351"

The following pages link to An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints (Q968351):

Displaying 18 items.

• Strong local consistency algorithms for table constraints (Q272003) (← links)
• STR2: optimized simple tabular reduction for table constraints (Q429802) (← links)
• Domain consistency with forbidden values (Q481709) (← links)
• How efficient is a global constraint in practice? A fair experimental framework (Q1706598) (← links)
• Scheduling double round-robin tournaments with divisional play using constraint programming (Q1751946) (← links)
• MDDs are efficient modeling tools: an application to some statistical constraints (Q2011571) (← links)
• MDDs boost equation solving on discrete dynamical systems (Q2117218) (← links)
• Efficient operations between MDDs and constraints (Q2170195) (← links)
• Computing AES related-key differential characteristics with constraint programming (Q2289026) (← links)
• From MDD to BDD and arc consistency (Q2331100) (← links)
• Compiling CP subproblems to MDDs and d-DNNFs (Q2331104) (← links)
• STR3: a path-optimal filtering algorithm for table constraints (Q2341830) (← links)
• Optimal and efficient filtering algorithms for table constraints (Q2342592) (← links)
• Improving the lower bound of simple tabular reduction (Q2342609) (← links)
• Theoretical insights and algorithmic tools for decision diagram-based optimization (Q2398513) (← links)
• Generating custom propagators for arbitrary constraints (Q2453695) (← links)
• Generalized Hypertree Decomposition for solving non binary CSP with compressed table constraints (Q2805480) (← links)
• Decision Diagrams for Discrete Optimization: A Survey of Recent Advances (Q5106421) (← links)