Pages that link to "Item:Q1688541"
From MaRDI portal
The following pages link to Cardinality constraints for arrays (decidability results and applications) (Q1688541):
Displayed 6 items.
- Higher-order quantifier elimination, counter simulations and fault-tolerant systems (Q2031422) (← links)
- Reasoning about vectors using an SMT theory of sequences (Q2104504) (← links)
- NP satisfiability for arrays as powers (Q2152659) (← links)
- (Q5087785) (← links)
- Reasoning about vectors: satisfiability modulo a theory of sequences (Q6053845) (← links)
- Interpolation Results for Arrays with Length and MaxDiff (Q6082222) (← links)