scientific article; zbMATH DE number 4187150

zbMATH Open0719.68073MaRDI QIDQ5751990FDOQ5751990

Authors: Kerstin Voigt, Chris Tong 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 4164192
• Theory and Applications of Satisfiability Testing
• Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems
• Compiling constraint satisfaction problems
• A methodology for solving problems: problem modeling and heuristic generation

zbMATH Keywords

problem solvingknowledge compilationgenerate-test-and-patch

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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