Fast SAT-based Answer Set Solver.

Zhijun Lin, Yuanlin Zhang, Hector Hernandez

Browse the full AAAI paper archive.