Hexlite

swMATH33598MaRDI QIDQ45307FDOQ45307

Author name not available (Why is that?)

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 (3)

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

This page was built for software: Hexlite