The following pages link to TRANSIT (Q40388):
Displaying 8 items.
- Theory exploration powered by deductive synthesis (Q832255) (← links)
- A theory of formal synthesis via inductive learning (Q1674868) (← links)
- Counterexample-guided quantifier instantiation for synthesis in SMT (Q1702893) (← links)
- Satisfiability and synthesis modulo oracles (Q2152655) (← links)
- Syntax-guided rewrite rule enumeration for SMT solvers (Q2181939) (← links)
- Refutation-based synthesis in SMT (Q2280222) (← links)
- Programming by predicates: a formal model for interactive synthesis (Q2303879) (← links)
- Counterexample-Guided Model Synthesis (Q3303898) (← links)
