scientific article; zbMATH DE number 2089015

MaRDI QIDQ3046087zbMATH OpenFDO

Authors Brent Martin, Antonija Mitrovic

Publication date 12 August 2004

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

Mathematics Subject Classification ID

Artificial intelligence (68T99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2084734
• scientific article; zbMATH DE number 1708155
• Automatic generation of rule-based constraint solvers over finite domains
• Automatic generation of CHR constraint solvers

Cited in

(7)

• Automated generation of exam sheets for automated deduction
• Automated item generation with recurrent neural networks
• scientific article; zbMATH DE number 1708155 (Why is no real title available?)
• scientific article; zbMATH DE number 2088881 (Why is no real title available?)
• scientific article; zbMATH DE number 2089052 (Why is no real title available?)
• scientific article; zbMATH DE number 1954113 (Why is no real title available?)
• scientific article; zbMATH DE number 2061676 (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 Q3046087)