University of Lincoln
Browse

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

Version 2 2024-03-12, 18:04
Version 1 2023-10-19, 15:41
journal contribution
posted on 2024-03-12, 18:04 authored by Y. Tang, T.J. Norman, Simon ParsonsSimon Parsons
<p>Legacy description not available</p>

History

School affiliated with

  • University of Lincoln (Historic Research Outputs)

Publication Title

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volume

6614 L

Pages/Article Number

268-285

External DOI

Date Submitted

2019-11-12

Date Accepted

2011-01-01

Date of First Publication

2011-01-01

Date of Final Publication

2011-01-01

ePrints ID

38462

Usage metrics

    University of Lincoln (Research Outputs)

    Categories

    No categories selected

    Keywords

    ResearchLegacy

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC