×

zbMATH — the first resource for mathematics

Removing propagation redundant constraints in redundant modeling. (English) Zbl 1367.68262

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