The Hexlite Solver - Lightweight and Efficient Evaluation of HEX Programs.

Peter Schller

Browse the full JELIA paper archive.