Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis
| Title: | Model-Based Diagnosis Through OBDD Compilation: A Complexity Analysis |
|---|---|
| Authors: | Torasso, P., Torta, G. |
| Source: | LECTURE NOTES IN COMPUTER SCIENCE. (4155):287-306 |
| Availability: | http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCRN195184948&indx=1&recIds=ETOCRN195184948 |
| Database: | British Library Document Supply Centre Inside Serials & Conference Proceedings |
| ISSN: | 03029743 |
|---|---|
| Published in: | LECTURE NOTES IN COMPUTER SCIENCE |
| Language: | English |