共 5 条
[1]
Audemard G, 2012, GLUCOSE 2 1
[3]
Biere Armin., 2009, SAT COMPETITION 2009
[4]
Cerutti Federico, 2014, Theory and Applications of Formal Argumentation. Second International Workshop, TAFA 2013. Revised Selected papers: LNCS 8306, P176, DOI 10.1007/978-3-642-54373-9_12
[5]
Cerutti Federico, 2014, P KR 2014