Pages that link to "Item:Q2457622"
From MaRDI portal
The following pages link to Automated reformulation of specifications by safe delay of constraints (Q2457622):
Displaying 4 items.
- Expressive power and abstraction in Essence (Q941820) (← links)
- Evaluating ASP and commercial solvers on the CSPLib (Q1020490) (← links)
- Exploiting functional dependencies in declarative problem specifications (Q1028967) (← links)
- Towards a practical theory of reformulation for reasoning about physical systems (Q2457693) (← links)