×

zbMATH — the first resource for mathematics

Automatic generation of rule-based constraint solvers over finite domains. (English) Zbl 1367.68259

MSC:
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68N17 Logic programming
PDF BibTeX XML Cite
Full Text: DOI