Pages that link to "Item:Q2786910"
From MaRDI portal
The following pages link to PackUp: tools for package upgradability solving (Q2786910):
Displaying 5 items.
- PackUp (Q22015) (← links)
- Reactive synthesis with maximum realizability of linear temporal logic specifications (Q2303876) (← links)
- A Model Driven Approach to Upgrade Package-Based Software Systems (Q3058802) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- New core-guided and hitting set algorithms for multi-objective combinatorial optimization (Q6536121) (← links)