ML Anthology

Hernandez, Hector

1 publications

AAAI 2006 Fast SAT-Based Answer Set Solver Zhijun Lin, Yuanlin Zhang, Hector Hernandez