Hexlite

MaRDI QIDQ45307swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F978-3-030-19570-0_39

Described by source

• The Hexlite solver. Lightweight and efficient evaluation of HEX programs

Cited in

(4)

• DLVHEX
• aspcud
• ActHEX
• Pruning external minimality checking for answer set programs using semantic dependencies

This page was built for software: Hexlite