×

zbMATH — the first resource for mathematics

Semiring-based constraint satisfaction and optimization. (English) Zbl 0890.68032

MSC:
68N17 Logic programming
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI Link