SMCHR

swMATH9322MaRDI QIDQ21305FDOQ21305

Author name not available (Why is that?)

Official website: http://www.google.de/#sclient=psy&hl=de&source=hp&q=SMCHR

Cited In (2)

• SMCHR: satisfiability modulo constraint handling rules
• Shape neutral analysis of graph-based data-structures

This page was built for software: SMCHR