Comparison of Propagation Techniques
Many deductive rules and algorithms have been presented. The aim of this chapter is to compare the deductive power of these rules and algorithms, thereby providing a much clearer overview of the state of the art in the field.
Unable to display preview. Download preview PDF.