| Original language | English |
|---|---|
| State | Published - 2006 |
Fast SAT-based Answer Set Solver
Zhijun Lin, Yuanlin Zhang, Hector Hernandez
Research output: Contribution to conference › Paper › peer-review
Zhijun Lin, Yuanlin Zhang, Hector Hernandez
Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| State | Published - 2006 |