Computing argumentation in polynomial number of BDD operations: A preliminary report

Tang, Y., Norman, T.J. and Parsons, Simon (2011) Computing argumentation in polynomial number of BDD operations: A preliminary report. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6614 L . pp. 268-285.

Full content URL: http://doi.org/10.1007/978-3-642-21940-5

Full text not available from this repository.

Item Type:Article
Item Status:Live Archive

Additional Information:cited By 0
ID Code:38462
Deposited On:12 Nov 2019 10:40

Repository Staff Only: item control page