scientific article; zbMATH DE number 2084742

MaRDI QIDQ4475673zbMATH OpenFDO

Authors Barbara M. Smith

Publication date 9 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2239/22390615.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2243353
• Permutation Problems and Channelling Constraints
• Domain permutation reduction for constraint satisfaction problems
• Dualities for Constraint Satisfaction Problems
• Automatic generation of redundant models for permutation constraint satisfaction problems

Cited in

(7)

• Compiling problem specifications into SAT
• \textsc{Conjure}: automatic generation of constraint models from problem specifications
• Permutation Problems and Channelling Constraints
• Posets and permutations in the duplication-loss model: minimal permutations with \(d\) descents
• Redundant modeling in permutation weighted constraint satisfaction problems
• scientific article; zbMATH DE number 2243353 (Why is no real title available?)
• Automatic generation of redundant models for permutation constraint satisfaction problems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4475673)