Pages that link to "Item:Q2432765"
From MaRDI portal
The following pages link to Efficient theory combination via Boolean search (Q2432765):
Displaying 5 items.
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- Verifying Heap-Manipulating Programs in an SMT Framework (Q3510799) (← links)
