Pages that link to "Item:Q2848687"
From MaRDI portal
The following pages link to An efficient Nelson-Oppen decision procedure for difference constraints over rationals (Q2848687):
Displaying 3 items.
- Combining decision procedures by (model-)equality propagation (Q436376) (← links)
- Combining Decision Procedures by (Model-)Equality Propagation (Q5179357) (← links)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)