Pages that link to "Item:Q3449199"
From MaRDI portal
The following pages link to Answer Set Programming Modulo Acyclicity (Q3449199):
Displaying 8 items.
- Chinese remainder encoding for Hamiltonian cycles (Q2118300) (← links)
- (Q3983042) (← links)
- Shared aggregate sets in answer set programming (Q4559794) (← links)
- On relation between constraint answer set programming and satisfiability modulo theories (Q4593096) (← links)
- The External Interface for Extending WASP (Q4957194) (← links)
- Unsatisfiable Core Analysis and Aggregates for Optimum Stable Model Search (Q4988946) (← links)
- (Q5282991) (← links)
- Hamiltonian cycle reconfiguration with answer set programming (Q6545539) (← links)