%0 Journal Article %1 williams2007conflict %A Williams, Brian C. %A Ragno, Robert J. %D 2007 %J Discrete Applied Mathematics %K diagnosis heuristic_search model_based_diagnosis search %N 12 %P 1562-1595 %T Conflict-directed A$^*$ and its role in model-based embedded systems %V 155

@article{williams2007conflict, added-at = {2012-02-23T11:26:10.000+0100}, author = {Williams, Brian C. and Ragno, Robert J.}, biburl = {https://www.bibsonomy.org/bibtex/2697a8735e113c0bbdf2a28d21854e91c/roni.stern}, interhash = {b9e34cd4c7bf3f75e5fc00a4afa93bec}, intrahash = {697a8735e113c0bbdf2a28d21854e91c}, journal = {Discrete Applied Mathematics}, keywords = {diagnosis heuristic_search model_based_diagnosis search}, number = 12, pages = {1562-1595}, timestamp = {2012-02-26T01:29:46.000+0100}, title = {Conflict-directed {A}$^{\mbox{*}}$ and its role in model-based embedded systems}, volume = 155, year = 2007 }