Pages that link to "Item:Q4957193"
From MaRDI portal
The following pages link to Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193):
Displaying 5 items.
- A multi-shot ASP encoding for the aircraft routing and maintenance planning problem (Q2055823) (← links)
- Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring (Q2694562) (← links)
- Partial Compilation of ASP Programs (Q5108506) (← links)
- Incremental Answer Set Programming with Overgrounding (Q5108513) (← links)
- Precomputing Datalog Evaluation Plans in Large-Scale Scenarios (Q5108523) (← links)
