scientific article; zbMATH DE number 2084742

zbMATH Open1067.68674MaRDI QIDQ4475673FDOQ4475673

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?)

Mathematics Subject Classification ID

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

Cited In (6)

• Compiling problem specifications into SAT
• 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)