Pages that link to "Item:Q1610671"
From MaRDI portal
The following pages link to A general setting for flexibly combining and augmenting decision procedures (Q1610671):
Displaying 5 items.
- Model-theoretic methods in combined constraint satisfiability (Q556677) (← links)
- An integrated approach to high integrity software verification (Q861714) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- Quantifier Elimination and Provers Integration (Q4916219) (← links)
- Learning Strategies for Mechanised Building of Decision Procedures (Q4916230) (← links)