DOE (Dominator Oriented Encoding): Encoding model-based diagnosis to MaxSAT

Description

DOE is a tool suite for model based diagnosis.

The relevant publications are:

News

Nov 22, 2015: New wiki page published for DOE tools. This wiki page is work in progress.

Benchmarks

The problem instances used in our IJCAI 2015 paper are available from http://reason.di.fc.ul.pt/Drops/mbd-suite-2014.tgz. The size of this archive is ~61MByte. Please contact Joao Marques-Silva in case you are unable to download the archive.

Contributors

Funding

The research on model based diagnosis was partially supported by Science Foundation Ireland.

Print/export