Pages that link to "Item:Q2296747"
From MaRDI portal
The following pages link to The Hexlite solver. Lightweight and efficient evaluation of HEX programs (Q2296747):
Displaying 4 items.
- Hexlite (Q45307) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Pushing Efficient Evaluation of HEX Programs by Modular Decomposition (Q3003246) (← links)
- Efficient HEX-Program Evaluation Based on Unfounded Sets (Q5404394) (← links)