Applying ad-hoc global constraints with the case constraint to still-life

DOI10.1007/s10601-006-8058-9zbMath1103.68807OpenAlexW2048660648MaRDI QIDQ850462

Roland H. C. Yap, Kenil C. K. Cheng

Publication date: 3 November 2006

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-006-8058-9

zbMATH Keywords

modelingbinary decision diagramad-hoc constraintnon-binary constraintstill-life problem

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

An MDD-based generalized arc consistency algorithm for positive and negative table constraints and some global constraints

Uses Software

• SICStus

Cites Work

• Constraint programming and hybrid formulations for three life designs
• Graph-Based Algorithms for Boolean Function Manipulation
• Principles and Practice of Constraint Programming – CP 2003
• Unnamed Item
• Unnamed Item

This page was built for publication: Applying ad-hoc global constraints with the case constraint to still-life