Yuting Zao (zao-y)

Contributi a Philosophie.ch

Bibliography

Lin, Fangzhen and Zao, Yuting. 2002. “ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.” in AAAI-02. Proceedings of the Eighteenth National Conference on Artificial Intelligence, edited by Rina Dechter, Richard S. Sutton, and Michael J. Kearns, pp. 112–117. Menlo Park, California: The AAAI Press. Republished as Lin and Zao (2004).
Lin, Fangzhen and Zao, Yuting. 2004. “ASSAT: Computing Answer Sets of a Logic Program by SAT Solvers.” Artificial Intelligence 157(1–2): 115–137.