scientific article; zbMATH DE number 4187150

MaRDI QIDQ5751990zbMATH OpenFDO

Authors Kerstin Voigt, Chris Tong

Publication date 1989

zbMATH Keywords

generate-test-and-patchknowledge compilationproblem solving

Mathematics Subject Classification ID

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

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

Cited in

(1)

• scientific article; zbMATH DE number 4164192 (Why is no real title available?)

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)