Fast SAT-based Answer Set Solver

Zhijun Lin, Yuanlin Zhang, Hector Hernandez

Research output: Contribution to conferencePaperpeer-review

Fingerprint Dive into the research topics of 'Fast SAT-based Answer Set Solver'. Together they form a unique fingerprint.