Pages that link to "Item:Q5299587"
From MaRDI portal
The following pages link to Parallel instantiation of ASP programs: techniques and experiments (Q5299587):
Displaying 5 items.
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Efficient Computation of the Well-Founded Semantics over Big Data (Q2931253) (← links)
- Optimizing Answer Set Computation via Heuristic-Based Decomposition (Q4957190) (← links)
- (Q5020959) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)