CAMA

swMATH7285MaRDI QIDQ19329FDOQ19329

Author name not available (Why is that?)

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

Cited In (7)

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

This page was built for software: CAMA