scientific article; zbMATH DE number 2084742

zbMATH Open1067.68674MaRDI QIDQ4475673FDOQ4475673

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (7)

• Compiling problem specifications into SAT
• Title not available (Why is that?)
• Redundant modeling in permutation weighted constraint satisfaction problems
• \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
• 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)