CVC4SY

swMATH46003MaRDI QIDQ5972687FDOQ5972687

Author name not available (Why is that?)

Described by source

• Syntax-guided rewrite rule enumeration for SMT solvers

Cited In (4)

• Supercharging plant configurations using Z3
• On solving quantified bit-vector constraints using invertibility conditions
• Towards satisfiability modulo parametric bit-vectors
• Satisfiability and synthesis modulo oracles

This page was built for software: CVC4SY