The following pages link to Philippe Suter (Q2926640):
Displaying 6 items.
- Reductions for Synthesis Procedures (Q2926641) (← links)
- Sets with Cardinality Constraints in Satisfiability Modulo Theories (Q3075499) (← links)
- Ordered Sets in the Calculus of Data Structures (Q3586032) (← links)
- Building a Calculus of Data Structures (Q3656874) (← links)
- Scala to the Power of Z3: Integrating SMT and Programming (Q5200039) (← links)
- Decision procedures for algebraic data types with abstractions (Q5255074) (← links)