Fast SAT-based Answer Set Solver

Zhijun Lin, Yuanlin Zhang, Hector Hernandez

Research output: Contribution to conferencePaper

Original languageEnglish
StatePublished - 2006

Cite this

Lin, Z., Zhang, Y., & Hernandez, H. (2006). Fast SAT-based Answer Set Solver.