Cost-Based Abduction Using Binary Decision Diagrams.

Shohei Kato Satoru Oono Hirohisa Seki Hidenori Itoh Cost-Based Abduction Using Binary Decision Diagrams. 215-225 1999 conf/ieaaie/1999 IEA/AIE db/conf/ieaaie/ieaaie1999.html#KatoOSI99