CAMA

MaRDI QIDQ19329swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1009910

Cited in

(7)

• Learning General Constraints in CSP
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Bounded Model Checking for Partial Kripke Structures
• CSP2SAT4J
• iZplus
• Mistral
• Learning general constraints in CSP

This page was built for software: CAMA