TRANSIT
From MaRDI portal
Software:40388
swMATH28674MaRDI QIDQ40388FDOQ40388
Author name not available (Why is that?)
Cited In (8)
- Counterexample-guided quantifier instantiation for synthesis in SMT
- A theory of formal synthesis via inductive learning
- Refutation-based synthesis in SMT
- Satisfiability and synthesis modulo oracles
- Syntax-guided rewrite rule enumeration for SMT solvers
- Theory exploration powered by deductive synthesis
- Programming by predicates: a formal model for interactive synthesis
- Counterexample-Guided Model Synthesis
This page was built for software: TRANSIT
